Skip to content
  • Erwan Jahier's avatar
    lurette 1.18 Thu, 08 Jan 2004 16:02:52 +0100 by jahier · c3756573
    Erwan Jahier authored
    Parent-Version:      1.17
    Version-Log:
    
    source/util.ml:
       Do not quit lurette when launch (Claude) gnuplot when it is not installed.
       More generally, do not abort when a tool launching fails, except
       for compilers (lus2ec an friends).
    
    source/lurettetop.ml:
    source/gen_stubs.ml:
    source/lurette.ml:
       Make sure everything is recompiled properly when the oracle changes.
    
       Also add checks wrt its input variable name
    
    Project-Description: Lurette
    c3756573