Re: [mizar] Mizr on Mac

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Yes, sorry, you are right, they ported it to PPC:
http://www.freepascal.org/down2-linux-powerpc.html

So Mac OS X / PPC should be close too.

Josef

On Thu, 22 Jan 2004, Freek Wiedijk wrote:

> Josef, quoting Piotr:
> 
> >I am not sure, but AFAIK, Darwin ("open Mac core") for i386 is at very 
> >early stage, when it comes to hardware support -
> ...
> >> <http://jonagold.elis.ugent.be/~jonas/fpc/fpc-darwinppc-20040104.tar.bz2>
> 
> >From the URL I get the impression (the jonagold site doesn't
> respond right now) that this is about Darwin on Apple
> hardware (as it says ...ppc-...), i.e., OS X the way Apple
> wants it.
> 
> >> If I remember right, Freek is a Mac user so there would be one.
> 
> I now have a Dell, mainly because of Mizar :-)  But it
> certainly would be nice to have an OS X version of Mizar, I
> agree with that.
> 
> Freek
>