現在の位置
backup プラグインを使用中
- List of Backups
- View the diff current.
- View the source.
- View the backup.
- Go to Download.
- 1 (2010-02-11 (Thu) 16:04:50)
- 2 (2010-04-22 (Thu) 03:15:52)
- 3 (2010-04-22 (Thu) 03:19:20)
- 4 (2010-05-25 (Tue) 10:08:20)
- 5 (2010-06-10 (Thu) 08:51:25)
- 6 (2010-07-05 (Mon) 07:38:07)
- 7 (2010-07-12 (Mon) 08:20:27)
- 8 (2010-07-12 (Mon) 08:20:27)
- 9 (2010-10-18 (Mon) 18:18:37)
- 10 (2010-10-25 (Mon) 16:54:29)
- 11 (2011-01-12 (Wed) 19:01:20)
- 12 (2011-03-24 (Thu) 08:23:28)
- 13 (2011-08-08 (Mon) 07:48:41)
- 14 (2011-12-16 (Fri) 12:00:31)
- 15 (2012-04-03 (Tue) 14:23:40)
- 16 (2012-04-09 (Mon) 23:09:32)
- 17 (2012-05-10 (Thu) 06:15:05)
- 18 (2012-05-21 (Mon) 09:23:49)
- 19 (2012-08-10 (Fri) 01:38:42)
- 20 (2012-10-21 (Sun) 15:15:54)
- 21 (2012-10-26 (Fri) 11:02:22)
- 22 (2012-11-23 (Fri) 08:49:20)
- 23 (2013-02-27 (Wed) 06:56:12)
- 24 (2013-10-13 (Sun) 22:08:56)
- 25 (2013-11-15 (Fri) 00:23:17)
- 26 (2014-06-01 (Sun) 12:32:20)
- 27 (2014-06-01 (Sun) 12:49:50)
- 28 (2015-04-07 (Tue) 04:57:52)
- 29 (2015-04-07 (Tue) 05:46:17)
- 30 (2015-04-15 (Wed) 07:21:09)
- 31 (2015-04-27 (Mon) 04:40:10)
- 32 (2015-10-26 (Mon) 09:18:26)
- 33 (2015-10-31 (Sat) 15:54:50)
- 34 (2015-10-31 (Sat) 21:49:38)
- 35 (2017-03-02 (Thu) 05:38:19)
- 36 (2017-08-02 (Wed) 08:37:06)
- 37 (2019-04-29 (Mon) 03:08:14)
- 38 (2019-07-15 (Mon) 15:24:06)
- 39 (2019-12-03 (Tue) 08:18:12)
- 40 (2020-04-04 (Sat) 11:46:26)
- 41 (2020-04-04 (Sat) 11:46:26)
- 42 (2022-12-30 (Fri) 01:58:30)
- 43 (2022-12-31 (Sat) 16:07:52)
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
LMNtalEditor is an integrated development environment (IDE) for LMNtal. LMNtalEditor contains all LMNtal Family. LaViT is an integrated development environment (IDE) for LMNtal. LaViT contains all LMNtal Family. * Download LMNtalEditor [#h5827877] * Download LaViT [#h5827877] [ Download ] latest version : 1.3.5~ &ref(LMNtalEditor1_3_5.zip); [ Download ] latest version : 2.0.0~ &ref(LaViT2_0_0.zip); * Start LMNtalEditor [#b8ea78c1] * Start LaViT [#b8ea78c1] +Unzip download file. (Please do not include space in your directory name.) ok: C:\LMNtalEditorX_Y_Z\ ng: C:\Documents and Settings\LMNtalEditorX_Y_Z\ ok: C:\LaViTx_y_z\ ng: C:\Documents and Settings\LaViTx_y_z\ +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 LMNtalEditorX_Y_Z/lmntal/. +Open the archive and move to LaViTx_y_z/lmntal/. > gunzip ltl2ba-1.1.tar.gz > tar xf ltl2ba-1.1.tar > mv ltl2ba-1.1/ LMNtalEditorX_Y_Z/lmntal/ +Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar") > mv ltl2ba-1.1/ LaViTx_y_z/lmntal/ +Click the LaViT.jar file. (or input "java -jar LaViT.jar") *System Requirements [#u504500c] -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