Re: [mizar] Re: Mizar 7.8.04 MML 4.81.962

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

Hi,

the  HTML for 4.81.962 is browsable at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.81.962/ , and 
downloadable at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.81.962.tar.gz 
(unpacks to 1.2GB). The version without proofs is at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.81.962.noproofs.tar.gz 
(this unpacks to 156MB). Both versions work also locally (clicking on 
proofs obviously only in the full version), and should be unpacked to 
$MIZFILES. The display of the "identify" item has been fixed in a new 
version of miz.xsl (http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/*checkout*/xsl4mizar/miz.xsl). 
It also contains code for displaying thesis after each skeleton step - 
however that must be enabled by setting the value of the parameter 
"display_thesis" to 1 in miz.xsl.

Best,
Josef Urban