[mizar] html for 4.99.1005

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

Hi,

HTML for MML 4.99.1005 is browsable at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.99.1005/ and 
downloadable at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.99.1005.tar.gz 
(unpacks to more than 1G). The version without proofs is at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.99.1005.noproofs.tar.gz 
(unpacks to 160M). Both versions work also locally (clicking on proofs 
obviously only in the full version), and should be installed in $MIZFILES, and 
the top directory renamed (or symlinked) to "html".

Josef Urban