8.2　登緑の準備

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

　　article 改良後に使うコマンド

　　MIZ2ABS　　abstract fileをつくる．
　　MIZ2PREL 　articleを参照できるようにファイルをコピーする．

　そして，その article が引用されるときのために，article を書いた著者名，所属，住所，引用文献などを普通の文章で書き，これを .BIBファイルとします．DOCディレクトリの中にexample.bibというサンプルがありますので参考にしてください．そうしてできた article を Mizar Society に，たとえば，フロッピーディスクで送ります．投稿された論文はまず機械的にチェックされ，査読委員会で，いい論文 (article) と判定されれば，accept され，その通知がきます．accept されますと，Formalized Mathematics という雑誌に Mizar article が自動的に英語の論文に変換されて掲載されます．
　またメールの貼付け機能などを使って mml@mizar.uwb.edu.pl へ送ることもできます．メールで投稿するときの方法が Appendix C.3 にありますので参考にしてください．

　1)注: SUMMERY の中で，ある論文を引用したいときは，文中で /cite{A1} と書きます．別に REFERENCES の記入欄中にその論文名を書き，A1 というコードを与えておきます．
　2)注: その中にある PRESENTER というのは，論文のレフリーの主だった人，という意味ですが，空白にしておいてください．