Parent-Version:      0.125
Version-Log:

source/command_line_luc_exe.ml:
source/command_line_luc_exe.mli:
source/command_line.ml:
source/command_line.mli:
source/luc_exe.ml:
source/lurette.ml:
source/lurettetop.ml:
   Add the possibility to set the precision from lucky and lurette command
lines.

   Remove the draw-vertices stuff.

source/command_line_luc_exe.ml:
source/command_line_luc_exe.mli:
source/luc_exe.ml:
   Also add the --edges and the inside options for lucky.

source/parse_env.ml:
  Allow to forget empty fields in the automata format.

source/store.ml:
   Plug the new drawing heuristic

Project-Description: Lurette