Re: Mizar 6.0.00 for Linux

[Mariusz Zynel <mariusz@math.uwb.edu.pl>]

Piotr Rudnicki wrote:
> 
> 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

DOS version is 16-bit code and the linux one is 32-bit, this
makes the difference. Our Library Committee members noticed
that Win32 port of Mizar is twice as fast as DOS version
on the same machine. This test is reliable since the whole
MML was processed (ca. 600 articles).

By the way, Win32 port of Mizar System should be released soon.

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

We are working to make them available soon.

Regards

-- 
        .
Mariusz Zynel

Institute of Mathematics   |   phone: +48 (85) 745 75 52
University of Bialystok    |
Akademicka 2 St            |   mailto:mariusz@math.uwb.edu.pl
15-267 Bialystok           |
Poland                     |   http://math.uwb.edu.pl/~mariusz/