Skip to content
  • Erwan Jahier's avatar
    lurette 0.30 Tue, 12 Feb 2002 13:42:18 +0100 by jahier · c6197659
    Erwan Jahier authored
    Parent-Version:      0.29
    Version-Log:
    
    gen_stubs.ml:
        Updates the stubs files (lurette_stub.ml, sut_stub.c,
        sut_idl_stub.idl, oracle_stub.c, oracle_idl_stub.idl) iff they have
        changed to avoid unnecessary recompilations.
    
    Makefile:
        Minor cosmetic changes.
    
    wtree.ml,mli:
    env.ml:
    
        Also remove a loop in the dependencies that was confusing
        ocamldot (but how could it work before with that loop ?). To do that,
        pass Solver.is_satisfiable as a argument of Wtree.choose_n_formula so
        that Wtree does not depend on Solver anymore.
    
    Project-Description: Lurette
    c6197659