現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the backup.
- Go to ダウンロード.
*Download [#na5e39f0] [[【最新版ダウンロード】>Download]] ZIP展開後、スペースを含まないディレクトリに配置してください。~ (デスクトップ等に配置するのは控えてください。) 「LaViT.jar」または「run.bat」をダブルクリックすると起動しますが[[インストール(Windows)]]、[[インストール(Linux)]]を読んで準備をして下さい。 *ソースダウンロード [#xce372ea] google code で管理しています。~ http://code.google.com/p/lavit/ *実行に必要な他のソフトウェア [#wd726d8d] -Java --http://java.com/ -Cygwin --http://www.cygwin.com/ -LTL2BA --http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php