Mizar on SnowLeopard

Piotr Rudnicki <[email protected]> Wed, 21 Apr 2010 23:34:18 -0600

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

Hi,

I have recently upgraded my Macs from ancient 10.4 to 10.6.  Unfortunately,
there are some strange behaviours of  Mizar on Macs which I can not
reproduce on the same version of Mizar on Linux.  Any advice?

-- 
Piotr Rudnicki
http://www.cs.ualberta.ca/~piotr

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.