-
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