[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, 22 Aug 2011 16:26:47 +0400

Dear All,
Is MPA server down only for a while or I've missed something important?

Yours,
Boris.

Follow-Ups:
- [mizar] Re: Mizar Proof Advisor
  - From: Boris Schminke <schminkeba@gmail.com>

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