■

mizarをダウンロードしてインストールした。
というのも、SUGSIのMizarチェッカは、文章を入力して、チェックするときのボタンが
テキストエリアから遠い上、ボタンが小さいので実に面倒なシステムになっているからだ。

インストール自体は簡単。
で結構すぐチェックもすることができた。

でも、ここでつまる。
Mizarを普通に使うとエラー箇所が直接ソースファイルに書き込まれるのが仕様だからだ。
私は基本的にviを使うので、これは非常に困る。
そう思って、結果を別のファイルに出力する方法はないか、
調査したり、実際にmizf.batをいじってみたりするが、
わからない。

他にはmulti Editorを使え。とかいう方法があるらしいが、
シェアウェア。

もっと調査すればわかるかもしれない。