• Erwan Jahier's avatar
    lurette 0.127 Mon, 24 Feb 2003 09:14:09 +0100 by jahier · 09d218f2
    Erwan Jahier authored
    Parent-Version:      0.126
    Version-Log:
    
    source/command_line_luc_exe.ml:
    source/command_line_luc_exe.mli:
    source/luc_exe.ml:
    source/store.ml:
    source/lurette.ml:
    source/lurettetop.ml:
       Put back the verteces draw. It was not such a great idea to remove
       after all...
    
       Also change verteces into vertices (oops...).
    
    Project-Description: Lurette
    09d218f2
command_line.mli 1.47 KB