• Erwan Jahier's avatar
    lurette 0.75 Wed, 28 Aug 2002 11:13:06 +0200 by jahier · e84a1e8e
    Erwan Jahier authored
    Parent-Version:      0.74
    Version-Log:
    
    makefile.lurette:
    bin/makefile.lurette_lib:
        put all files that do not depend on lurette_stubs into a lib.
    
    source/lurettetop.ml:
        Add a few new options (show, step, ...)
    
    Project-Description: Lurette
    e84a1e8e
lurettetop.ml 15.3 KB