Re: Mizar 6.0.00 for Linux

[Freek Wiedijk <freek@cs.kun.nl>]

Mariusz Zynel wrote:

>It is a great pleasure for me to inform that Mizar system is now
>available on Linux platform. Installation package containing 

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? :-))

What now _clearly_ is needed is an emacs mode for Mizar, with
syntax coloring and key-bindings for running mizf, going to
the first/next error, putting the file in a second window at
the location of the list of error-messages (for reference),
etc.

>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?

Freek