* Download LMNtalEditor [ Download ] latest version : 1.1.2~ &ref(LMNtalEditor1_1_2.zip,LMNtalEditor1_1_2.zip); * Start LMNtalEditor +Unzip download file. (Please do not include space in your directory name.) ok: C:\LMNtalEditor1_0_0\ ng: C:\Documents and Settings\LMNtalEditor1_0_0\ +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 LMNtalEditor1_0_0/lmntal/. > gunzip ltl2ba-1.1.tar.gz > tar xf ltl2ba-1.1.tar > mv ltl2ba-1.1/ LMNtalEditor1_0_0/lmntal/ +Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar") *System Requirements -Windows --Java Runtime Environment(JRE), version 1.6 or higher. --Cygwin(gcc,bison,flex) -Linux --Java Runtime Environment(JRE), version 1.6 or higher. --gcc,bison,flex ----------------------------- //&ref(source.zip,source.zip);