From: Claudio Sacerdoti Coen Date: Thu, 8 Nov 2001 16:30:54 +0000 (+0000) Subject: Workaround replacement: instead of a litteral URL (path on disk), a litteral X-Git-Tag: v0_1_3~9 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=866d9e575b72d6b6da363cd0fd0804e3bacccec0;p=helm.git Workaround replacement: instead of a litteral URL (path on disk), a litteral request to the Getter on phd to resolve the URL. The real problem (avoiding at all the thing) is still to be addressed. --- diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index 9523d74d3..1a45e4eb9 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -5,7 +5,7 @@ xmlns:subst="http://www.cs.unibo.it/helm/subst"> - +