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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Jan 2004 15:13:45 +0000 (15:13 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Jan 2004 15:13:45 +0000 (15:13 +0000)
commit	5f2de2d1d6c8520e39c1c3793a4c2776dcf7c7c1
tree	52198bd68c44c7c5c072e005ae957a8b75c24669	tree \| snapshot
parent	698fffd5d37fbb7fc69faab9da5aa0c5fa247588	commit \| diff

Branch V7_3_new_exportation merged.

33 files changed:

helm/meta_style/.cvsignore		diff \| blob \| history
helm/meta_style/Makefile		diff \| blob \| history
helm/meta_style/algebra.xml		diff \| blob \| history
helm/meta_style/arith.xml		diff \| blob \| history
helm/meta_style/basic.xml		diff \| blob \| history
helm/meta_style/list.xml	[new file with mode: 0644]	blob
helm/meta_style/meta_cic2mathml.xsl		diff \| blob \| history
helm/meta_style/positive.xsl		diff \| blob \| history
helm/meta_style/set.xml		diff \| blob \| history
helm/meta_style/xslt_index.txt		diff \| blob \| history
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/diseq.xsl	[new file with mode: 0644]	blob
helm/style/drop_coercions.xsl		diff \| blob \| history
helm/style/headercontent.xsl		diff \| blob \| history
helm/style/html_init.xsl		diff \| blob \| history
helm/style/inductive.xsl		diff \| blob \| history
helm/style/ite.xsl	[new file with mode: 0644]	blob
helm/style/link.xsl		diff \| blob \| history
helm/style/logic.xsl	[new file with mode: 0644]	blob
helm/style/mk_meta_and_dep_graph.xsl		diff \| blob \| history
helm/style/mk_meta_theory.xsl		diff \| blob \| history
helm/style/mmlctop.xsl		diff \| blob \| history
helm/style/mmlextension.xsl		diff \| blob \| history
helm/style/mmlnotation.xsl		diff \| blob \| history
helm/style/objcontent.xsl		diff \| blob \| history
helm/style/objtheorycontent.xsl		diff \| blob \| history
helm/style/params.xsl		diff \| blob \| history
helm/style/proofs.xsl		diff \| blob \| history
helm/style/rewrite.xsl	[new file with mode: 0644]	blob
helm/style/ring.xsl		diff \| blob \| history
helm/style/xslt_index.txt		diff \| blob \| history

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

RSS Atom