html for 4.110.1033

Josef Urban <[email protected]> Wed, 10 Sep 2008 18:51:47 +0200 (CEST)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

Hi,

HTML for MML 4.110.1033 is browsable at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.110.1033/ and 
downloadable at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.110.1033.tar.gz 
(unpacks to 1.7G). The version without proofs is at 
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.110.1033.noproofs.tar.gz 
(unpacks to 170M). 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