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

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

author	Irene Schena <irene.schena@unibo.it>
	Wed, 17 Jan 2001 11:33:35 +0000 (11:33 +0000)
committer	Irene Schena <irene.schena@unibo.it>
	Wed, 17 Jan 2001 11:33:35 +0000 (11:33 +0000)
commit	f079a5948394ada2f2aba69270869058111bb3fe
tree	4f3f50a1d919ac15fa6dd0cbc5fa3e3eeb3dc221	tree \| snapshot
parent	638ea30787cd4b14a27fabac36c1319bc6ab14b7	commit \| diff

Modified Files:
1) annotatedcont.xsl, objcontent.xsl, proofs.xsl, rootcontent.xsl: added LETIN
2) content.xsl, mmlextension.xsl: added LETIN and body to Variable,
changed color into mathcolor
3) content_to_html.xsl, html_init.xsl, html_reals.xsl, html_set.xsl:
changed color into mathcolor
4) reals.xsl: power instead of root

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

RSS Atom

helm/style/annotatedcont.xsl		diff \| blob \| history
helm/style/content.xsl		diff \| blob \| history
helm/style/content_to_html.xsl		diff \| blob \| history
helm/style/html_init.xsl		diff \| blob \| history
helm/style/html_reals.xsl		diff \| blob \| history
helm/style/html_set.xsl		diff \| blob \| history
helm/style/mmlextension.xsl		diff \| blob \| history
helm/style/objcontent.xsl		diff \| blob \| history
helm/style/proofs.xsl		diff \| blob \| history
helm/style/reals.xsl		diff \| blob \| history
helm/style/rootcontent.xsl		diff \| blob \| history