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