Skip to content
  • Erwan Jahier's avatar
    lurette 1.21 Fri, 13 Feb 2004 18:25:56 +0100 by jahier · d115d326
    Erwan Jahier authored
    Parent-Version:      1.20
    Version-Log:
    
    source/lurette.ml:
    source/command_line.ml:
    source/command_line.mli:
    source/lurettetop.ml:
       Plug the step mode stuff into xlurette.
    
       Repair the step_by_step mode that was broken under xlurette
       (still do not know why though...).
    
    Project-Description: Lurette
    d115d326