• Erwan Jahier's avatar
    lurette 0.78 Thu, 29 Aug 2002 15:19:15 +0200 by jahier · 98bd35d5
    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
parse_env.ml 21.5 KB