From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 15:06:17 +0000 (+0000)
Subject: Required by the new getxslt method implementation.
X-Git-Tag: mlminidom_0_2_2~104
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a00c96b7a2948c5dc191960b423afb92b698389d;p=helm.git

Required by the new getxslt method implementation.
---

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
new file mode 100644
index 000000000..0ae6f66a7
--- /dev/null
+++ b/helm/style/xslt_index.txt
@@ -0,0 +1,40 @@
+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-0.14
+mmlextension.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