-
Erwan Jahier authored
Parent-Version: 0.109 Version-Log: source/util.ml: source/lurettetop.ml: source/gen_stubs.ml: ihm/xlurette/xlurette_glade_main.ml: ihm/xlurette/xlurette.glade: Add the possibility to specify te sut and the oracle main node (to feed the lustre compiler). Project-Description: Lurette
4fe98e62