[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: Problems with Mizar have been resolved

To: mizar-forum@mizar.uw.bialystok.pl
Subject: Re: Problems with Mizar have been resolved
From: piotr@cs.ualberta.ca
Date: Mon, 27 Apr 1998 22:33:50 -0600 (MDT)

Hi:

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

This is a fast.  I am still running 5.2.30 but BOOLE needs
10 sec on Pentium 150MHz.


-- 
Piotr Rudnicki

References:
- Problems with Mizar have been resolved
  - From: Vedasystem <Vedasystem@aol.com>

Prev by Date: Problems with Mizar have been resolved
Next by Date: Re: Problems with Mizar have been resolved
Index(es):
- Chronological
- Thread