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

[mizar] Mizar remote service updated for 4.166.1132

To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] Mizar remote service updated for 4.166.1132
From: Josef Urban <josef.urban@gmail.com>
Date: Wed, 10 Aug 2011 23:17:33 +0200

Hi,

the Mizar remote verification/solving/presentation services at
http://mws.cs.ru.nl/~mptp/MizAR.html and
http://mizar.cs.ualberta.ca/~mptp/MizAR.html have now been updated to
include the latest MML version 4.166.1132. The remote
solving/presentation functions should now also work from Emacs with
MML 4.166.1132.

Best,
Josef Urban

Prev by Date: Re: [mizar] properties
Next by Date: [mizar] Re: resolution
Index(es):
- Chronological
- Thread