From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 May 2004 10:36:09 +0000 (+0000)
Subject: ls2html.xsl no longer in use
X-Git-Tag: pre_subst_in_kernel~63
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1e33313ad4cd986ae4cb63b616b11d9cea69ced6;p=helm.git

ls2html.xsl no longer in use
---

diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/on-line/xslt/xslt_index.txt
index 3b6246839..dd7465326 100644
--- a/helm/on-line/xslt/xslt_index.txt
+++ b/helm/on-line/xslt/xslt_index.txt
@@ -1,5 +1,4 @@
 getParam.xsl
-ls2html.xsl
 ls2theory.xsl
 makeGraphLinks.xsl
 metadataControl.xsl