Skip to content
  • Erwan Jahier's avatar
    lurette 0.128 Mon, 03 Mar 2003 10:01:09 +0100 by jahier · 8d595778
    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