]> matita.cs.unibo.it Git - helm.git/commit
Branch V7_3_new_exportation merged.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 15:13:45 +0000 (15:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 15:13:45 +0000 (15:13 +0000)
commit5f2de2d1d6c8520e39c1c3793a4c2776dcf7c7c1
tree52198bd68c44c7c5c072e005ae957a8b75c24669
parent698fffd5d37fbb7fc69faab9da5aa0c5fa247588
Branch V7_3_new_exportation merged.
33 files changed:
helm/meta_style/.cvsignore
helm/meta_style/Makefile
helm/meta_style/algebra.xml
helm/meta_style/arith.xml
helm/meta_style/basic.xml
helm/meta_style/list.xml [new file with mode: 0644]
helm/meta_style/meta_cic2mathml.xsl
helm/meta_style/positive.xsl
helm/meta_style/set.xml
helm/meta_style/xslt_index.txt
helm/style/annotatedcont.xsl
helm/style/content.xsl
helm/style/content_to_html.xsl
helm/style/diseq.xsl [new file with mode: 0644]
helm/style/drop_coercions.xsl
helm/style/headercontent.xsl
helm/style/html_init.xsl
helm/style/inductive.xsl
helm/style/ite.xsl [new file with mode: 0644]
helm/style/link.xsl
helm/style/logic.xsl [new file with mode: 0644]
helm/style/mk_meta_and_dep_graph.xsl
helm/style/mk_meta_theory.xsl
helm/style/mmlctop.xsl
helm/style/mmlextension.xsl
helm/style/mmlnotation.xsl
helm/style/objcontent.xsl
helm/style/objtheorycontent.xsl
helm/style/params.xsl
helm/style/proofs.xsl
helm/style/rewrite.xsl [new file with mode: 0644]
helm/style/ring.xsl
helm/style/xslt_index.txt