[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] Mizar Proof Advisor
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: [mizar] Mizar Proof Advisor
- From: Boris Schminke <schminkeba@gmail.com>
- Date: Mon, 26 Jul 2010 15:07:05 +0400
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=lsZC353yHHlH8vub0/v9GR4l85FUp5XIQ+UnYMvpRclftS2MGUyfvkpy1nHzmKq8Qo RuuKNULsozf14ZvH40AUiHOWBdFc94S+ZBdFWnhkU4OLTL3KhhtaSjJxegdOi96iYW2o P/piZdr4u/HSIhZz1oXcWNOcATgvNSYdsn1C4=
Dear All,
Can Advisor be run locally under Windows? (It looks like suitable for
Linux only.)
Why is on-line Advisor down now and how long it is going to be so?
Yours,
Boris Schminke.