8.2 登録の準備

article の改良のチェックがすべて終わったら，次に，ENV を実行します．ENV を実行すると，まず accommodateし，そして自分の article（.MIZファイル）から，その articleが参照されるためのファイルを作ってくれます. MIZ2ABS を実行すると，Theorem と Definition だけ抜きだして，abstract file（.ABSファイル）が作成されます．さらに，その article を参照できるように，PRE を実行すると，自分のディレクトリの PREL に必要なファイルをコピーします．



        article 改良後に使うコマンド





        ENV       参照されるためのファイルを作る.



        MIZ2ABS   abstract fileをつくる．



        PRE       article を参照できるようにファイルをコピーする．

そして，その article が引用されるときのために，article を書いた著者名，所属，住所，引用文献などを普通の文章で書き，これを .BIBファイルとします．bibart.exe が専用の入力ツールとなっていますので、使ってみて下さい。

そうしてできた article を Mizar Societyにフロッピーディスクで送ります．いい論文（article）であれば，accept され，その通知がきます．acceptされますと，Formalized Mathematics という雑誌（accept されないかもしれません）に， Mizar article が自動的に英語の論文に変換されて掲載されます．