matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Irene Schena <irene.schena@unibo.it>
	Tue, 24 Jul 2001 16:12:47 +0000 (16:12 +0000)
committer	Irene Schena <irene.schena@unibo.it>
	Tue, 24 Jul 2001 16:12:47 +0000 (16:12 +0000)
commit	5d9c64e007c6eff9447b2ef67d2a680c86c2775d
tree	7153a8eedf6b743dd4b2dfb19253a0b812ee9043	tree \| snapshot
parent	bbe30d38c61689b57bbfc6ac39038b6a6a2be453	commit \| diff

----------------------------------------------------------------------
Modified Files:
1) mmlctop.xsl-0.14, mmlextension.xsl: changed mchar into entities and
formatted new proof elements.
----------------------------------------------------------------------

20 files changed:

helm/style/arith.xsl		diff \| blob \| history
helm/style/basic.xsl		diff \| blob \| history
helm/style/content.xsl		diff \| blob \| history
helm/style/contentlib.xsl		diff \| blob \| history
helm/style/drop_coercions.xsl		diff \| blob \| history
helm/style/genmmlid.xsl		diff \| blob \| history
helm/style/html_init.xsl		diff \| blob \| history
helm/style/html_set.xsl		diff \| blob \| history
helm/style/inductive.xsl		diff \| blob \| history
helm/style/lambda.xsl		diff \| blob \| history
helm/style/link.xsl		diff \| blob \| history
helm/style/links_library.xsl		diff \| blob \| history
helm/style/mk_meta_theory.xsl		diff \| blob \| history
helm/style/mmlctop.xsl-0.14		diff \| blob \| history
helm/style/mmlextension.xsl		diff \| blob \| history
helm/style/params.xsl		diff \| blob \| history
helm/style/proofs.xsl		diff \| blob \| history
helm/style/reals.xsl		diff \| blob \| history
helm/style/ricerca.xsl		diff \| blob \| history
helm/style/roottheory.xsl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom