7.2 Mizarを使うための準備


Mizar を使うためには,まず各自のディレクトリを作る必要があります.C:\ に,USER というディレクトリを作り,その下に各自のディレクトリを作ります.例えば,著者(中村)でしたら,nakamura というディレクトリを作ります.そしてその下に,TEXT,DICT,PREL の3つのディレクトリを作ります.それぞれのディレクトリについて説明しますと,TEXT はユーザが書いた Mizar article (.MIZ ファイル)を置くディレクトリです.Mizar のシステムが出力する中間ファイルもここに置かれます.DICT は,DICTionaryの略でここにはユーザが書いた vocabulary file(.VOC ファイル)を置きます.新しい言葉はこの vocabulary file の中に書いておきます.PRELは,PRELiminaries の略で,Mizar ライブラリに登録されてない article を参照するときに,ここに必要なファイルを置きます.


C:\USER\NAKAMURA\TEXT

\DICT

\PREL

Mizar を使うときには通常,カレントディレクトリ, C:\USER の下の自分のディレクトリ で使います.