From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 13:18:36 +0000 (+0000) Subject: bread crumb trail added X-Git-Tag: pre_subst_in_kernel~55 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=47b1a34e3db754d7715acac1bc4c68b58ee5982f;p=helm.git bread crumb trail added --- diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl index 03a011248..3a2b4072a 100644 --- a/helm/on-line/xslt/metadataControl.xsl +++ b/helm/on-line/xslt/metadataControl.xsl @@ -2,7 +2,8 @@ + xmlns:subst="http://www.cs.unibo.it/helm/subst" + xmlns="http://www.w3.org/1999/xhtml"> @@ -23,6 +24,9 @@ Metadata of <xsl:value-of select="$CICURI"/> + + +