-
Erwan Jahier authored
Parent-Version: 0.77 Version-Log: source/parse_env.ml: Fix a bug where empty ctrl expr labels were causing a parse error. source/control.ml,mli: Add those files to the project as should have been done for a while... Do not handle infinite values for ctrl expr counters anymore as it is useless (and not so easy to be handled properly). Project-Description: Lurette
98bd35d5