Re: [mizar] Mizr on Mac

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

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