* Download LMNtalEditor [ Download ] latest version : 1.1.2~ &ref(LMNtalEditor1_1_2.zip,LMNtalEditor1_1_2.zip); [ new ] Version 1.3.0 is coming soon. * Start LMNtalEditor +Unzip the download file. (Please do not include space in your directory name.) ok: C:\LMNtalEditor1_3_0\ ng: C:\Documents and Settings\LMNtalEditor1_3_0\ +If necessary, install Java and Cygwin (on Windows) (see System Requirements below). +Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]. +Open the archive and move to LMNtalEditor1_3_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") and follow the instructions to install SLIM. *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);