[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: Mizar 6.0.00 for Linux
Freek Wiedijk wrote:
>
> 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? :-))
Thanks for porting Mizar to Linux goes to Adam Naumowicz, Czeslaw
Bylinski, Artur Kornilowicz Bartlomiej Skorulski and other members
of Bialystok Mizar development team.
We use Free Pascal to compile Mizar, which as far as I know, enables
us to make Mac port. Please correct me if I'm wrong.
The problem is we do not have hardware to perform neccessary tests
and debugging. I'm not sure about cross-compiling in Free Pascal, but
even if this feature is available the problem persists.
I'm working on porting Mizar to GNU Pascal which works on much more
platforms than Free Pascal.
> 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, in my opinion, work which could be done by third party
developers/contributors as well as by the system developers.
> >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?
I'm not sure about version numbers. I think 6 denotes the port
to Free Pascal. Expected Win32 port will also bear 6 I think.
Czeslaw or Grzegorz explain this issue authoritatively, please.
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/