Re: Mizar 6.0.00 for Linux

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

Mariusz Zynel wrote:

>We use Free Pascal to compile Mizar, which as far as I know,
>enables us to make Mac port.

Note that I was not talking about Mac OS, but about
linuxppc.  A "Mac port" would be something for Mac OS.  I
don't think it's easy to get Mac OS executables from Free
Pascal.

>Please correct me if I'm wrong.

I looked at the Free Pascal home page and it says i386+ and
680x0, but no PPC.  So, I don't think it will give you
something for use under linuxppc.

[Mizar emacs mode]
>This is, in my opinion, work which could be done by third
>party developers/contributors as well as by the system
>developers.

Yes, of course.  If I had a Mizar version that would run
under my linux, I probably would give it a try myself.

One would need a "DOS font" (with the high DOS characters)
for linux then.  I suppose it exists, but don't know how
common it is.  Does anyone know? (pointers?)  Would it be an
idea to include it in the Mizar distribution if it's not part
of the standard linux distributions?

Freek