Skip to content
  • Erwan Jahier's avatar
    lurette 0.110 Tue, 29 Oct 2002 11:00:06 +0100 by jahier · 4fe98e62
    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