Re: 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 <[email protected]> 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 <http://www.cs.ualberta.ca/%7Epiotr>
>>
>
> 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