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

[mizar] wiki.mizar.org down?

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] wiki.mizar.org down?
From: Jesse Alama <alama@stanford.edu>
Date: Thu, 05 Jul 2007 10:41:10 -0700

It looks like wiki.mizar.org is down -- what's going on?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*60: Something remains to be proved in this case

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

Prev by Date: [mizar] changes in 7.8.05
Next by Date: Re: [mizar] wiki.mizar.org down?
Index(es):
- Chronological
- Thread