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

[mizar] mizar twiki unavailable?

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] mizar twiki unavailable?
From: Jesse Alama <alama@stanford.edu>
Date: Sun, 2 Jan 2005 10:33:04 -0800

Hello,

It seems that alioth.uwb.edu.pl is down; I've tried accessing the MizarTWiki for a couple days without success. What's happening?


Thanks,

Jesse

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

Prev by Date: [mizar] Mizar articles in 2004
Next by Date: Re: [mizar] mizar twiki unavailable?
Index(es):
- Chronological
- Thread