Re: Mizar 6.0.00 for Linux

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

> I am _very_ happy that you made this (although I cannot run
> the binaries, as my linux runs on a PPC processor: can you
> compile a linuxppc version for me? :-))
> 

Unfortunately no. In the feature the FreePascal Team promised to porting
on another platform. I hope on the Linux PPC too.


> >This is the first official Linux release of Mizar system.
> 
> So how does the functionality of the 6.0.00 version compare
> to the DOS version?  Will there be two sequences of version
> numbers with mappings from the 5 (DOS) to the 6 (linux)
> versions which are equivalent?  For instance: does this
> version already have the new requirements?

This new number 6 means only new compiler and new implementation of the
Mizar system. With version 5 we have Turbo Pascal 7.0 and only DOS
Platform. Version 6 can avaible now on DOS, WIN32 and Linux i386. At the 
beginning we are checking system on Linux, because it is expanding the
Mizar on new platform and users.
We reimplement some part of the system depending on DOS and Turbo Pascal
and 16 bit computers.
We are porting the Mizar system into FreePascal and Delphi 4 (there is a
rummor that Delphi compiler will be  avaible on Linux in next year). I
hope we will porte the Mizar system into Gnu Pascal. Gnu Pascal supports
more platforms. The main part of the system is the same for Delphi 4 and
FreePascal. The olny difference is on the platform dependent part
(communication with the operationg system). We are still using "classical"
Turbo Pascal model of object  programming. I hope to do the common system
for Gnu Pascal, and Free Pascal and Delphi 4 (and  with TP 7.0) 
to get Mizar system on another Linux and Unix platforms. 
The data base and library is now common for the version 6.0.00 and older
5.3.12 version for DOS.

Czeslaw Bylinski