-
Erwan Jahier authored
Parent-Version: 0.115 Version-Log: source/solver.ml: Give a better error message when users do not initialize pre vars. source/parse_env.ml: source/formula.ml: source/prevar.ml/mli: (new files) Put here everything that handles the internal representation of pre var names. Pretty print internal pre var names. Project-Description: Lurette
aef52d9c