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=bb2953675ebb08267186029b18bc3fdca9c137df;hp=f2e42135f733b2fd9243f86368cd2b4720fc1d67;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
deleted file mode 100644
index f2e42135f..000000000
--- a/helm/style/xslt_index.txt
+++ /dev/null
@@ -1,41 +0,0 @@
-algebra.xsl
-annotatedcont.xsl
-annotatedpres.xsl
-arith.xsl
-basic.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
-reals.xsl
-ricerca.xsl
-ring.xsl
-rootcontent.xsl
-roottheory.xsl
-set.xsl
-show_dc.xsl
-theory_content.xsl
-theory_pres.xsl