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

Required by the new xslt_index.txt implementation.
---

diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/on-line/xslt/xslt_index.txt
new file mode 100644
index 000000000..2f27d8e6f
--- /dev/null
+++ b/helm/on-line/xslt/xslt_index.txt
@@ -0,0 +1,7 @@
+getParam.xsl
+ls2html.xsl
+makeGraphLinks.xsl
+metadataControl.xsl
+metadataLib.xsl
+resolve_topurl.xsl
+utils.xsl