From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 12:45:18 +0000 (+0000) Subject: metadataLib.xsl merged into metadataControl.xsl X-Git-Tag: pre_subst_in_kernel~56 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f838419ea90a715db6e93eb46cd809eec1f73877;p=helm.git metadataLib.xsl merged into metadataControl.xsl --- diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl index de3ed9890..03a011248 100644 --- a/helm/on-line/xslt/metadataControl.xsl +++ b/helm/on-line/xslt/metadataControl.xsl @@ -4,6 +4,10 @@ xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:subst="http://www.cs.unibo.it/helm/subst"> + + + + - + + + + + + Metadata of <xsl:value-of select="$CICURI"/> + + + + + + + + + + + + + + diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl deleted file mode 100644 index 4e3271638..000000000 --- a/helm/on-line/xslt/metadataLib.xsl +++ /dev/null @@ -1,43 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - Metadata of <xsl:value-of select="$CICURI"/> - - - - - - - - - - - - - - - - diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/on-line/xslt/xslt_index.txt index dd7465326..37c15b032 100644 --- a/helm/on-line/xslt/xslt_index.txt +++ b/helm/on-line/xslt/xslt_index.txt @@ -2,7 +2,6 @@ getParam.xsl ls2theory.xsl makeGraphLinks.xsl metadataControl.xsl -metadataLib.xsl resolve_topurl.xsl substKey.xsl toplevel_header.xsl