From: Claudio Sacerdoti Coen Date: Wed, 24 Oct 2001 17:31:32 +0000 (+0000) Subject: Code to share with makeGraphLinks.xsl extracted to graphLinks.js X-Git-Tag: v0_1_3~44 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d2d9e2da99c2eaebc426f070f80ee5aa250baaf3;p=helm.git Code to share with makeGraphLinks.xsl extracted to graphLinks.js --- diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index 7a2f8ec99..900797e5f 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -18,10 +18,17 @@ + + Metadata of <xsl:value-of select="$CICURI"/> -

Metadata of

@@ -47,17 +54,8 @@

@@ -75,17 +73,8 @@