Skip to content
  • Erwan Jahier's avatar
    lurette 0.106 Fri, 25 Oct 2002 09:36:48 +0200 by jahier · 75100e28
    Erwan Jahier authored
    Parent-Version:      0.105
    Version-Log:
    
    source/lurettetop.ml:
       Add a --prefix <string> option that is added before the call
       to lurette (usefull, eg, for timing purpuses).
    
    source/lurettetop.ml:
    source/lurette.ml:
    source/command_line.ml:
    ihm/xlurette/*
      Add a ---show-step options that let one control whether or not
      the step number is printed.
    
    Project-Description: Lurette
    75100e28