• Erwan Jahier's avatar
    lurette 0.82 Mon, 02 Sep 2002 16:59:37 +0200 by jahier · e655b8de
    Erwan Jahier authored
    Parent-Version:      0.81
    Version-Log:
    
    source/lurette.ml:
    source/ima_exe.ml:
       Check that nodes did not changed before redrawing anything
    
       also add a <<q>> command to exit from ima_exe more gently.
    
    Project-Description: Lurette
    e655b8de
ima_exe.ml 11.8 KB