Mizar System Installation Package:

  README.TXT - this file
  INSTALL.BAT - simple installation script
  MIZDB1.ZIP - auxiliary files needed by the checker 
  MIZSYS.ZIP - Mizar verifier and core programs
  MIZDOC.ZIP - Mizar documents
  MIZUTIL.ZIP - auxiliary Mizar utilities
  PREL.ZIP - core database for the Mizar system
  ABSTR.ZIP - abstracts of Mizar articles 
  UNZIP.EXE - Info-Zip Extraction Tool
  LICENSE - license file for Info-Zip UNZIP

Mizar Mathematical Library Package:

  MMLFULL.ZIP - full Mizar articles

                   1. Hardware requirements

     Mizar is implemented on IBM-PC, AT, PS/2 or compatible under
the Microsoft Windows 9x/2000/NT/XP operating system. Linux x86 
and Solaris x86 ports are available also. As a rule the Mizar 
processor, the data base (public) of the Mizar Mathematical Library 
(MML), and abstracts of the Mizar articles from the MML are installed 
on a hard disk, they need about 75 MB disk space.


                   2. Installing the system

   You can use batch command INSTALL to set up the Mizar system and
the data base (MML) on a hard disk.

   To install the Mizar system from current directory (assuming that
all the distribution files are currently in it) type:

     INSTALL C:\MIZAR

   You can replace path C:\MIZAR with the name of a different directory
and different hard disk drive letter.   C:\MIZAR is the path to
the Mizar directory. 

   You may want to add to the path command in your AUTOEXEC.BAT the
path to the Mizar executable files, for example:

   path C:\MIZAR;

   If the Mizar system is installed on the different directory than
C:\MIZAR you have to insert the following command into your
AUTOEXEC.BAT file:

   set MIZFILES=<path>

where:  <path> is a path to the Mizar directory.

The MIZTMP environment variable tells the processor where to create
Mizar temporary files.


For details see http://mizar.org/
mailto: mus@mizar.uwb.edu.pl - Mizar User Service