[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Mizr on Mac

To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] Mizr on Mac
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Wed, 21 Jan 2004 21:14:00 -0700

Hi:

Jim Hoover is telling that there is a version of fpc producing Mac binaries under
OS X.

<http://jonagold.elis.ugent.be/~jonas/fpc/fpc-darwinppc-20040104.tar.bz2>
<http://jonagold.elis.ugent.be:8080/~jonas/fpc/fpc-darwinppc-20040104.tar.bz2>.

Has anyone tried to compile Mizar?  If I remember right, Freek is a
Mac user so there would be one.  I am also thinking of bying a Mac
laptop if Mizar can run on it (emulation of 386 is very slow).


-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
http://web.cs.ualberta.ca/~piotr

Follow-Ups:
- Re: [mizar] Mizr on Mac
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

Prev by Date: Re: [mizar] Calculus in CQC_THE1
Next by Date: Re: [mizar] Mizr on Mac
Index(es):
- Chronological
- Thread