Chapter 10

バージョンアップについて

　MIZAR のバーンジョンアップは頻繁に行われます．このとき，ライブラリの増加は当然のことで，自分の作成中の article のチェックに影響を及ぼしませんが，チェッカーのバージョンアップについては注意を要します．インターネットの MIZAR のホームページをよくウオッチングして，最新のものを入手するよう気を付けて下さい.
　時々，従来使っていた基本的な定理が cancel されてしまうことがあり，戸惑いますが，新バージョンのディレクトリ中の

　CANCELED.DOC

の中にその情報が書かれています．