Hi, On Mon, 23 Oct 2006, Michael Nedzelsky wrote:
The Mizar grammar file mizar.xml at http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarSyntax has just been changed.
I linked it from http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarLanguage .
I think it is useful to have only one main source for the Mizar grammar, so I'll try to keep this grammar up to date. I hope that my messages about changes in the grammar description don't bother forum readers too much.
I don't see how work on Mizar or its discussion could bother people on Mizar forum.
Best, Josef