X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fxslt_index.txt;fp=helm%2Fstyle%2Fxslt_index.txt;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=2f31b969a3f808e61892381944d1361aac8baa68;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
deleted file mode 100644
index 2f31b969a..000000000
--- 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