added 'parallel labels' to traces' actions
commentaries explaining most important parts
add .merlin (for merlin mode of emacs)
Merge branch 'ref' into POR
add '-with_por' option
por option wherever is needed
two apply_strategy_one_transition
Debugging=None by default
helping functions to split alternatives performing IN/OUT by channel
for debugging purposes
working version showing how to exploit action-det (see RECHERCHE/*.org)
set up the structure of apply_one_tranisiton in algorithm.ml
setting up labelization process (annotated semantics)
minor
[process.ml?] : adding labelled processes
continuing labelization
completeted labelisation
typo with !=
simplification after tests (IN/TEST + OUT/TEST)
less calls to Process.simplfy (only last ones) (better perf.)