Re: Problems with Mizar system

[Vedasystem <Vedasystem@aol.com>]

In a message dated 98-04-14 08:40:17 EDT,  Andrzej Trybulec wrote:

<< Are you sure that you have enough 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
 
 >>

The C: harddrive (where the Mizar system has been installed) has 55Mb of 
free space.

I tried to to remove 
SET MIZTMP  C:\

from the autoexec.bat file but the rezult was the same.

(sorry,  I have never used RAMDrives).

Anyway, thanks for the hint.

Victor Makarov

PS  

Now I am installing  the new version (5.3.02) on my Pentium II computer.