Problems with Mizar system

[Vedasystem <Vedasystem@aol.com>]

Hi  everybody!

Recently I downloaded the Mizar system (ver5.2.29) from http://mizar.org and
installed it on a Dell Dimension XPS D300   300Mhz Pentium II computer
(Windows 95 with Internet Explorer, 64MB Ram,  8.4 GB hardrive).

(Of course I started the computer in MSDOS mode).

When I run the simplest test (file test1.miz)

environ
begin

I got the following message:

Runtime error  200 at 151A:0091


Then I installed the Mizar system system on my old computer: 
486 IBM PS/1  (Windows 95(the first version), 24MB Ram, 5.1GB and 500MB
harddrives).

The simplest test (environ begin) run successfully. 


But running the article boole.miz (from disk4) I got the "Internal error"
message.

A lot of files (boole.aco, boole.atr,  ..., ) were generated.

At the end of the file boole.lst (25 pages), there was the following message:

SORRY
---------
                           Error explanation

1998 I/O stream error: Can not initialize stream.

---------------------------------------------------------------



Please help me to make the Mizar system  working.

Thanks in advance.

Victor Makarov,  EMD Inc. (New York City, USA)