html for 4.100.1011

[Josef Urban]

Hi,

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

[Josef Urban]

Hi,

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

[Jesse Alama]

Hi Josef,

Josef Urban <urban@...> writes:

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

There's a new MML release (4.103.1019) -- any chance of building a new
semantic MML?

By the way, what are the new articles?

Jesse

--
Jesse Alama (alama@...)

[Josef Urban]

Hi,

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