-
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