The wiki appears to be down: http://wiki.mizar.org/cgi-bin/twiki/view/Mizar -- View this message in context: http://www.nabble.com/Mizar-Twiki-appears-off-line-tp23355404p23355404.html Sent from the Mizar mailing list archive at Nabble.com.