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\text, 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 directory.

Execute command:

C:\Work>mizf 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

WebForm
TopicClassification BugResolved?
ProjectGroup?

ImplementationDate? N/A
Topic revision: r4 - 2010-04-21 - 15:59:05 - ArturKornilowicz
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback