* Download LMNtalEditor [ Download ] latest version : 1.3.1~ &ref(LMNtalEditor1_3_1.zip,LMNtalEditor1_3_1.zip); * Start LMNtalEditor +Unzip the download file. (Please do not include space in your directory name.) ok: C:\LMNtalEditorX_Y_Z\ ng: C:\Documents and Settings\LMNtalEditorX_Y_Z\ +If necessary, install Java and Cygwin (on Windows) (see System Requirements below). +Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]] and move ltl2ba-1.1.tar.gz to LMNtalEditorX_Y_Z/lmntal/. > mv ltl2ba-1.1.tar.gz LMNtalEditorX_Y_Z/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);