• Erwan Jahier's avatar
    lurette 0.116 Wed, 13 Nov 2002 13:56:29 +0100 by jahier · aef52d9c
    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
parse_env.ml 30.6 KB