• Erwan Jahier's avatar
    lurette 0.115 Thu, 07 Nov 2002 14:19:37 +0100 by jahier · 7c4feb61
    Erwan Jahier authored
    Parent-Version:      0.114
    Version-Log:
    
    source/automata.ml:
       Fix a bug where esp loops were not always cutted properly in some cases.
    
    source/show_env.ml:
       Truncate too long for in the dot output (which bugs dot or gv).
    
    ihm/xlurette/xlurette_glade_main.ml:
       Accept both .lut or .lut files as anv files, and make the show buttons
       behave properly in both cases.
    
    Project-Description: Lurette
    7c4feb61
command_line_luc_exe.mli 1.03 KB