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:25:01 +0000 (15:25 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Jan 2004 15:25:01 +0000 (15:25 +0000)
commit	124f4cc530827721444de874e1a04ee5012586b1
tree	45811198c5d7d11cedcc2f41f7c7f364b936fb06	tree \| snapshot
parent	5f2de2d1d6c8520e39c1c3793a4c2776dcf7c7c1	commit \| diff

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]	blob \| history
helm/meta_style/Makefile	[deleted file]	blob \| history
helm/meta_style/algebra.xml	[deleted file]	blob \| history
helm/meta_style/arith.xml	[deleted file]	blob \| history
helm/meta_style/basic.xml	[deleted file]	blob \| history
helm/meta_style/list.xml	[deleted file]	blob \| history
helm/meta_style/meta_cic2mathml.xsl	[deleted file]	blob \| history
helm/meta_style/modeset.xsl	[deleted file]	blob \| history
helm/meta_style/operator.dtd	[deleted file]	blob \| history
helm/meta_style/positive.xsl	[deleted file]	blob \| history
helm/meta_style/reals.xml	[deleted file]	blob \| history
helm/meta_style/set.xml	[deleted file]	blob \| history
helm/meta_style/subst.pl	[deleted file]	blob \| history
helm/meta_style/xslt_index.txt	[deleted file]	blob \| history
helm/style/annotatedcont.xsl	[deleted file]	blob \| history
helm/style/annotatedpres.xsl	[deleted file]	blob \| history
helm/style/content.xsl	[deleted file]	blob \| history
helm/style/content_to_html.xsl	[deleted file]	blob \| history
helm/style/contentlib.xsl	[deleted file]	blob \| history
helm/style/diseq.xsl	[deleted file]	blob \| history
helm/style/drop_coercions.xsl	[deleted file]	blob \| history
helm/style/expandobj.xsl	[deleted file]	blob \| history
helm/style/genmmlid.xsl	[deleted file]	blob \| history
helm/style/getter.xsl	[deleted file]	blob \| history
helm/style/headercontent.xsl	[deleted file]	blob \| history
helm/style/html_init.xsl	[deleted file]	blob \| history
helm/style/html_reals.xsl	[deleted file]	blob \| history
helm/style/html_set.xsl	[deleted file]	blob \| history
helm/style/inductive.xsl	[deleted file]	blob \| history
helm/style/ite.xsl	[deleted file]	blob \| history
helm/style/lambda.xsl	[deleted file]	blob \| history
helm/style/link.xsl	[deleted file]	blob \| history
helm/style/links_library.xsl	[deleted file]	blob \| history
helm/style/logic.xsl	[deleted file]	blob \| history
helm/style/mk_dep_graph.xsl	[deleted file]	blob \| history
helm/style/mk_meta_and_dep_graph.xsl	[deleted file]	blob \| history
helm/style/mk_meta_graph.xsl	[deleted file]	blob \| history
helm/style/mk_meta_theory.xsl	[deleted file]	blob \| history
helm/style/mmlctop.xsl	[deleted file]	blob \| history
helm/style/mmlctop.xsl-0.14	[deleted file]	blob \| history
helm/style/mmlctop2_0.xsl	[deleted file]	blob \| history
helm/style/mmlextension.xsl	[deleted file]	blob \| history
helm/style/mmlnotation.xsl	[deleted file]	blob \| history
helm/style/mmltheoryextension.xsl	[deleted file]	blob \| history
helm/style/objcontent.xsl	[deleted file]	blob \| history
helm/style/objtheorycontent.xsl	[deleted file]	blob \| history
helm/style/params.xsl	[deleted file]	blob \| history
helm/style/proofs.xsl	[deleted file]	blob \| history
helm/style/rewrite.xsl	[deleted file]	blob \| history
helm/style/ricerca.xsl	[deleted file]	blob \| history
helm/style/ring.xsl	[deleted file]	blob \| history
helm/style/rootcontent.xsl	[deleted file]	blob \| history
helm/style/roottheory.xsl	[deleted file]	blob \| history
helm/style/show_dc.xsl	[deleted file]	blob \| history
helm/style/theory_content.xsl	[deleted file]	blob \| history
helm/style/theory_pres.xsl	[deleted file]	blob \| history
helm/style/xslt_index.txt	[deleted file]	blob \| history

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

RSS Atom