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

[mizar] Mizar on SnowLeopard

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar on SnowLeopard
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Wed, 21 Apr 2010 23:34:18 -0600

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

Follow-Ups:
- [mizar] Re: Mizar on SnowLeopard
  - From: Jesse Alama <alama@stanford.edu>

Prev by Date: Re: [mizar] A question on "registrations"
Next by Date: [mizar] The 'suppose' keyword
Index(es):
- Chronological
- Thread