[mizar] Re: Mizar on SnowLeopard

[Jesse Alama <alama@stanford.edu>]

On 2010-04-22 06:34:18 +0100, Piotr Rudnicki said:

> 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

I'm able to use mizar on 10.6.3 just fine.  What bugs are you seeing?

Jesse