-
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