This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / style / xslt_index.txt

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
deleted file mode 100644 (file)
index 2f31b96..0000000
--- a/helm/style/xslt_index.txt
+++ /dev/null
@@ -1,36 +0,0 @@
-annotatedcont.xsl
-annotatedpres.xsl
-content.xsl
-content_to_html.xsl
-contentlib.xsl
-drop_coercions.xsl
-expandobj.xsl
-genmmlid.xsl
-getter.xsl
-headercontent.xsl
-html_init.xsl
-html_reals.xsl
-html_set.xsl
-inductive.xsl
-lambda.xsl
-link.xsl
-links_library.xsl
-mk_dep_graph.xsl
-mk_meta_and_dep_graph.xsl
-mk_meta_graph.xsl
-mk_meta_theory.xsl
-mmlctop.xsl
-mmlextension.xsl
-mmlnotation.xsl
-mmltheoryextension.xsl
-objcontent.xsl
-objtheorycontent.xsl
-params.xsl
-proofs.xsl
-ricerca.xsl
-ring.xsl
-rootcontent.xsl
-roottheory.xsl
-show_dc.xsl
-theory_content.xsl
-theory_pres.xsl