7.4.4 便利なコマンド
便利なバッチコマンドとして，MIZF.BAT があります．コマンドラインで
MIZF TEXT\EXAMPLE1.MIZ
とすると，accommodate する必要があるかどうかを調べて，必要なときには accommodate
を実行し，そのあと Mizar チェッカーを実行します．さらにエラーがある場合，エラー番号をコメントの形で
article に書きこみ，article の最後には発生したエラー番号とエラーメッセージの対照表が書きこまれます1．
-------------------------------
1 書き込まれたコメントは，次に MIZF コマンドを実行したときに取り除かれます．