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

Re: [mizar] Question on Mizar grammar

Hi Grzegorz,

> you can get the xml file from the page
> http://mmlquery.mizar.org/
> or simply
> http://mmlquery.mizar.org/mmlquery/mizar-grammar.xml
> and
> http://mmlquery.mizar.org/mmlquery/grammar2thtml.xsl
> http://mmlquery.mizar.org/mmlquery/grammar.dtd
Thanks!

> I think it should better be placed on wiki.mizar.org and then
> ready for improvment. I will put it there.
You are right.

Michael Nedzelsky