[mizar] mizar binaries for i386/darwin

[Jesse Alama <alama@stanford.edu>]

Now that Apple has replaced their PowerPC-based machines with machines
based on Intel's i386 processor, it would be nice to have a native i386
version of the MIZAR binaries for Mac OS X.  Currently, the binaries
available for Mac OS X are for PowerPC processors.  Thanks to
technologies in the latest versions of Mac OS X, one can run the PowerPC
binaries on the new i386 machines, but I think it would be better to
release both PowerPC (for users of Mac OS X version 10.3 and earlier)
and "Universal" binaries (binaries that run on both PowerPC and i386
machines, with the latest version of Mac OS X).  What are the chances
making universal binaries for mizar available?  (One way to do this
would be to make the MIZAR sources publicly available, but that's
another subject.)

Thanks,

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*180: Too many arguments (http://www.mizar.org)