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

[mizar] wiki.mizar.org is down

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] wiki.mizar.org is down
From: Jesse Alama <alama@stanford.edu>
Date: Tue, 06 Feb 2007 15:49:43 -0800

FYI: it looks like wiki.mizar.org is down.

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*14: Too many terms in an inference (http://www.mizar.org)

Follow-Ups:
- Re: [mizar] wiki.mizar.org is down
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

Prev by Date: Re: [mizar] Re: trouble with a term not having the expected type
Next by Date: [mizar] Re: installing mmlquery locally
Index(es):
- Chronological
- Thread