Re: [mizar] Mizar ver. 7.3.01 released

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

some first experimental applications and a description of the new Mizar 
XML format are now available. 
First version of semantically disambiguated complete Mizar articles linked 
to MML Query can be browsed at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html/ (more about them in the 
README file at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/).
An experimental server running the eXist native XML database loaded with 
the MML resources (not proofs) can be queried at 
http://lipa.ms.mff.cuni.cz/~urban/existdemo.html .
The server is quite fragile and aborts on queries taking longer than 1 
second and too much memory.
The description of these applications and Mizar XML-ization is at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/mizxml.ps .

Comments are appreciated.
Best,
Josef Urban