Re: Problems with Mizar system

[Andrzej Trybulec <trybulec@math.uw.bialystok.pl>]

On Thu, 9 Apr 1998, Vedasystem wrote:

> 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.
> 

Are you sure that you have ebough memory ? In the directory \miztmp
you need about 1 MByte. If you have not set \miztmp (e.g. on RAMDrive)
it is your current directory.

Andrzej Trybulec