Re: Problems with Mizar have been resolved

[Vedasystem <Vedasystem@aol.com>]

Yesterday I wrote: 

> I recently downloaded the 5.3.02 version and it successfully checked
boole.miz
> on my Pentium II (300mhz) for 0.03 sec.

I am sorry, it is a misprint. 

Actually, the message was:

Time of mizaring    0:03

I misread it as 0.03 sec (now I suppose it means 3 sec).

Victor Makarov

PS

When installing Mizar 5.3.02, another minor problem happened:

handling the last command in the CONTINUE.BAT

FINISH  %1   %2

MSDOS displayed:

Bad command or file name.

.