[mizar] language missing from mizar wiki?

[Jesse Alama <alama@stanford.edu>]

I just tried checking out 

  http://wiki.mizar.org/twiki/pub/Mizar/MizarSyntax/mizar.xml

hich is linked from

  http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarLanguage

and got a 404 error.  Where did mizar.xml go?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*496: Too complicated scheme (too many occurrences of a predicate variable)