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

Re: Mizar 6.0.00 for Linux

Mariusz Zynel wrote:

> It is a great pleasure for me to inform that Mizar system is now
> available on Linux platform. Installation package containing 
> executables and current data base can be download via anonymous 
> ftp from:
>   ftp://mizar.uwb.edu.pl/pub/system/linux/mizar-6.0.00-Linux.tgz

Great news, thanks.

I have installed it and played with it for a while.  The first impression
is that under Linux it is much faster, e.g. the same text, almost 5000
lines 
	Linux time	2:10 	on P150
	DOS time	2:56	on P300

In the Linux version some needed programs are missing.
When can we expect them? (e.g. export, pre, miz2abs, ...)

-- 
Piotr Rudnicki