現在の位置
diff プラグインを使用中
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
- Go to ダウンロード.
- Deleting diff of ダウンロード
*Download [#na5e39f0] #author("2019-04-29T11:55:38+09:00","default:Uedalab","Uedalab") [[【最新版ダウンロード】>Download]] ZIP展開後、スペースを含まないディレクトリに配置してください。~ (デスクトップ等に配置するのは控えてください。) 「LaViT.jar」または「run.bat」をダブルクリックすると起動しますが[[インストール(Windows)]]、[[インストール(Linux)]]を読んで準備をして下さい。 *ソースダウンロード [#xce372ea] Github で管理しています。~ https://github.com/lmntal/lavit *実行に必要な他のソフトウェア [#wd726d8d] -Java --http://java.com/ -Cygwin --http://www.cygwin.com/ -LTL2BA --http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php