|

»

»

html for 4.110.1033

View: New views

3 Messages — Rating Filter: Alert me

	html for 4.110.1033 by Josef Urban :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message 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
	html for 4.111.1036 by Josef Urban :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message Hi, HTML for MML 4.111.1036 is browsable at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.111.1036/ and downloadable at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.111.1036.tar.gz (unpacks to 1.7G). The version without proofs is at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.111.1036.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
	html for 4.117.1046 by Josef Urban :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message Hi, HTML for MML 4.117.1046 is browsable at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.117.1046/ and downloadable at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.117.1046.tar.gz (unpacks to 1.7G). The version without proofs is at http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.117.1046.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