FAQ:

Question:

How to install Mizar system on PC with Windows XP and get the first example article?

Answer:

-- MichaelNedzelsky - 13 Jul 2005

Step by step introduction to the process of installation Mizar on PC with Windows XP operation system.

Download Mizar self-extracting distribution mizar-xxxxxxxxx-i386-win32.exe from the site http://www.mizar.org.

Place this file in a separate directory, e.g. C:\Temp, and execute it. This file will be uncompressed and some new files will appear.

Start an MS-DOS prompt (you can do it from the Start Menu of Windows) and change directory to C:\Temp.

Run in MS-DOS prompt the following command:

C:\Temp>install.bat C:\Mizar

Close MS-DOS prompt window.

Add the C:\Mizar to the System PATH variable (via Control Panel\System\Environment Variables). Also add MIZFILES environment variable with value "C:\Mizar".

Create your working directory, e.g. C:\Work, which will contain your Mizar articles and related data.

In this directory create three subdirectories: C:\work\test, C:\work\dict and C:\work\prel.

Create a new text file voc1.voc in directory C:\work\dict with the following content.

Ris_digit

Then create a new text file example1.miz in directory C:\work\text with the content:

environ

vocabularies
  VOC1;
 
notations
  SUBSET_1, :: mode Element of X
  XXREAL_0, :: predicate <=
  NUMBERS;  :: synonym NAT for omega
 
constructors
  XXREAL_0,
  NUMBERS;
  
registrations
  XXREAL_0,
  ARYTM_3;
  
requirements
  SUBSET,
  NUMERALS;

begin

definition 
  let x be Element of NAT;
  pred x is_digit
  means
  :ISDIGIT:
  ( 1 <= x ) & ( x <= 9 );
end;

Start an MS-DOS prompt and make C:\Work the current dictionary.

Execute command:

C:\Work>mizf.bat text/example1.miz

You will see something like:

Verifier, Mizar Ver. 7.8.03 (Win32/FPC)
Copyright (c) 1990,2007 Association of Mizar Users
Processing: text\example1.miz

Parser   [  31]   0:00
Analyzer [  31]   0:00
Checker  [  31]   0:00
Time of mizaring: 0:00

Back to: MizarFAQ
to top