]> matita.cs.unibo.it Git - helm.git/commit
No longer in use. The official repository for the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 15:25:01 +0000 (15:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 15:25:01 +0000 (15:25 +0000)
commit124f4cc530827721444de874e1a04ee5012586b1
tree45811198c5d7d11cedcc2f41f7c7f364b936fb06
parent5f2de2d1d6c8520e39c1c3793a4c2776dcf7c7c1
No longer in use. The official repository for the
stylesheet is now the repository of mowgli.
57 files changed:
helm/meta_style/.cvsignore [deleted file]
helm/meta_style/Makefile [deleted file]
helm/meta_style/algebra.xml [deleted file]
helm/meta_style/arith.xml [deleted file]
helm/meta_style/basic.xml [deleted file]
helm/meta_style/list.xml [deleted file]
helm/meta_style/meta_cic2mathml.xsl [deleted file]
helm/meta_style/modeset.xsl [deleted file]
helm/meta_style/operator.dtd [deleted file]
helm/meta_style/positive.xsl [deleted file]
helm/meta_style/reals.xml [deleted file]
helm/meta_style/set.xml [deleted file]
helm/meta_style/subst.pl [deleted file]
helm/meta_style/xslt_index.txt [deleted file]
helm/style/annotatedcont.xsl [deleted file]
helm/style/annotatedpres.xsl [deleted file]
helm/style/content.xsl [deleted file]
helm/style/content_to_html.xsl [deleted file]
helm/style/contentlib.xsl [deleted file]
helm/style/diseq.xsl [deleted file]
helm/style/drop_coercions.xsl [deleted file]
helm/style/expandobj.xsl [deleted file]
helm/style/genmmlid.xsl [deleted file]
helm/style/getter.xsl [deleted file]
helm/style/headercontent.xsl [deleted file]
helm/style/html_init.xsl [deleted file]
helm/style/html_reals.xsl [deleted file]
helm/style/html_set.xsl [deleted file]
helm/style/inductive.xsl [deleted file]
helm/style/ite.xsl [deleted file]
helm/style/lambda.xsl [deleted file]
helm/style/link.xsl [deleted file]
helm/style/links_library.xsl [deleted file]
helm/style/logic.xsl [deleted file]
helm/style/mk_dep_graph.xsl [deleted file]
helm/style/mk_meta_and_dep_graph.xsl [deleted file]
helm/style/mk_meta_graph.xsl [deleted file]
helm/style/mk_meta_theory.xsl [deleted file]
helm/style/mmlctop.xsl [deleted file]
helm/style/mmlctop.xsl-0.14 [deleted file]
helm/style/mmlctop2_0.xsl [deleted file]
helm/style/mmlextension.xsl [deleted file]
helm/style/mmlnotation.xsl [deleted file]
helm/style/mmltheoryextension.xsl [deleted file]
helm/style/objcontent.xsl [deleted file]
helm/style/objtheorycontent.xsl [deleted file]
helm/style/params.xsl [deleted file]
helm/style/proofs.xsl [deleted file]
helm/style/rewrite.xsl [deleted file]
helm/style/ricerca.xsl [deleted file]
helm/style/ring.xsl [deleted file]
helm/style/rootcontent.xsl [deleted file]
helm/style/roottheory.xsl [deleted file]
helm/style/show_dc.xsl [deleted file]
helm/style/theory_content.xsl [deleted file]
helm/style/theory_pres.xsl [deleted file]
helm/style/xslt_index.txt [deleted file]