Parent-Version:      1.41
Version-Log:

source/luc_exe.ml
source/command_line_luc_exe.ml
source/lurette.ml
source/graph.ml
source/lucky.mli
source/lucky.ml
source/util.ml
source/formula_to_bdd.ml
source/formula_to_bdd.mli
source/fair_bddd.ml
source/fair_bddd.mli
source/bddd.ml
source/bddd.mli
source/solver.mli
source/solver.ml
source/polyhedron.ml
source/polyhedron.mli
source/store.mli
source/store.ml
source/parse_luc.mli
source/parse_luc.ml
source/show_env.ml
source/env_state.mli
source/env_state.ml
source/run_aut.mli
source/run_aut.ml
source/lurettetop.ml
source/draw.mli
source/draw.ml
source/gen_stubs.ml
source/parse_c_scade.ml
source/ne.ml
source/prevar.ml
source/prevar.mli
source/show_luc.ml
utils/lucky.el
install/configure.in
Makefile.common.source
install/Makefile.lurette.in
user-rules
source/Makefile.lurettetop
source/Makefile.gen_fake_lutin
source/Makefile.show_luc
source/Makefile.lucky
source/Makefile.gen_stubs
source/Makefile.lurette_lib
sou...