* Download LMNtalEditor [ Download ] latest version : 0.9.7~ &ref(LMNtalEditor0_9_7.zip,LMNtalEditor0_9_7.zip); * Start LMNtalEditor +Unzip download file. (Please do not include space in your directory name.) ok: C:\LMNtalEditor0_9_7\ ng: C:\Documents and Settings\LMNtalEditor0_9_7\ +If you need, install Java(all) and Cygwin(only windows). +Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]. +Open the archive and move to LMNtalEditor0_9_7/lmntal/. > gunzip ltl2ba-1.1.tar.gz > tar xf ltl2ba-1.1.tar > mv ltl2ba-1.1/ LMNtalEditor0_9_7/lmntal/ +Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar")