Skip to content
  • Erwan Jahier's avatar
    lurette 0.125 Fri, 21 Feb 2003 16:30:11 +0100 by jahier · 27272998
    Erwan Jahier authored
    Parent-Version:      0.124
    Version-Log:
    
    source/parse_env.ml:
       Make most fields of the automata syntax optional so that
       people are not obliged to refer to empty list of, eg,
       formula.
    
       Also add a field formula that let one defines global formula.
       This field is currently unplugged (ie, it parses, but the information
       contained in that fied in ignored).
    
    Project-Description: Lurette
    27272998