Parent-Version:      1.39
Version-Log:

source/luc_exe.ml
source/command_line_luc_exe.ml
source/command_line_luc_exe.mli
source/lurette.ml
source/command_line.ml
source/command_line.mli
source/lucky.ml
source/rif.ml
source/env_state.mli
source/env_state.ml
source/run_aut.mli
source/run_aut.ml
source/lurettetop.ml
ihm/xlurette/xlurette_glade_main.ml
  Add a reactive mode where the output of the previous cycle is returned
  when the Lucky environment is blocked (because no transition from
  the current node(s) is labelled by a satisfiable constraint.

Remove the dependence on cygwin to run it under windows.

In particular, to be able to do that, I now use socket instead of pipes
in order to communicate between lurettetop and xlurette.

Also, define proper, cp, rm, etc instead of doing them by sys calls.

A lot of changes to make it work with the scade gui

Project-Description: Lurette