From f838419ea90a715db6e93eb46cd809eec1f73877 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 12:45:18 +0000 Subject: [PATCH] metadataLib.xsl merged into metadataControl.xsl --- helm/on-line/xslt/metadataControl.xsl | 25 +++++++++++++++- helm/on-line/xslt/metadataLib.xsl | 43 --------------------------- helm/on-line/xslt/xslt_index.txt | 1 - 3 files changed, 24 insertions(+), 45 deletions(-) delete mode 100644 helm/on-line/xslt/metadataLib.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 -- 2.39.2