Skip to content
  • Erwan Jahier's avatar
    lurette 0.80 Mon, 02 Sep 2002 16:07:51 +0200 by jahier · 7344d9ba
    Erwan Jahier authored
    Parent-Version:      0.79
    Version-Log:
    
    source/control.ml:
    source/parse_env.ml:
        Add a new ctrl expr (set_between) to let one set the value of a CE var
        in such a way that it is backtracable within an interval. One rational
        is that it let ones code infinite loops that can be exited when
        the formula is false.
    
    Project-Description: Lurette
    7344d9ba