-
Erwan Jahier authored
Parent-Version: 0.127 Version-Log: source/parse_env.ml: source/env_state.ml: source/env_state.mli: Add support for transient /recurrent nodes (not plugged yet). source/parse_env.ml: source/solver.ml: source/formula.ml source/formula.mli: test/*.luc: Add the possibity to define formula and num expr aliases (a request from Bertrand). test/losange.luc: [new file] test/losange-3d.luc: [new file] test/test_losange.lus: [new file] user-rules: Add the losange in the non-regression test source/luc_exe.ml: source/command_line_luc_exe.ml: Add an option that lets one see local vars in lucky output. Project-Description: Lurette
8d595778