How to install Mizar system on PC with Windows XP and get the first example article?
- 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:
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\text, C:\work\dict and C:\work\prel.
Create a new text file voc1.voc in directory C:\work\dict with the following content.
Then create a new text file example1.miz in directory C:\work\text with the content:
SUBSET_1, :: mode Element of X
XXREAL_0, :: predicate <=
NUMBERS; :: synonym NAT for omega
let x be Element of NAT;
pred x is_digit means
1 <= x & x <= 9;
Start an MS-DOS prompt and make C:\Work the current directory.
You will see something like:
Verifier, Mizar Ver. 7.8.03 (Win32/FPC)
Copyright (c) 1990,2007 Association of Mizar Users
Parser [ 31] 0:00
Analyzer [ 31] 0:00
Checker [ 31] 0:00
Time of mizaring: 0:00
Back to: MizarFAQ