Re: [mizar] language missing from mizar wiki?

[Michael Nedzelsky <MichaelNedzelsky@yandex.ru>]

On Mon, 7 May 2007 12:23 pm, Jesse Alama wrote:
> 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?
See the following:

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

<quote>
 Also the name of xml grammar file has been changed from mizar.xml to 
syntax.xml in order to avoid confusion with the Mizar.xml file, which is 
already in the Mizar distribution. 
</quote>

Michael