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

Re: [mizar] Re: Mizar on SnowLeopard

I stupid.

I had some old version of  DILWORTH.VOC in local dict which was causing confusion when importing formats from DILWORTH in two articles that I was writing.  My fault, however, I suggest adding at least a warning that there are two accessible vocabularies, or at least adding some possible reasons for error 802.

Cheers, PR

On Tue, Apr 27, 2010 at 8:39 AM, Jesse Alama <alama@stanford.edu> wrote:
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




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