From: Claudio Sacerdoti Coen Date: Wed, 4 Apr 2001 11:21:35 +0000 (+0000) Subject: Big bug: & was not quoted in the URL for xmluri (that actually always had X-Git-Tag: v0_1_2~35 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1b0dba5b73ce01727364dc75bf33afee50146f92;p=helm.git Big bug: & was not quoted in the URL for xmluri (that actually always had one) --- diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index 5a6a1ba4f..825a06ee0 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -45,9 +45,6 @@ step for expanding objects --> -getxml?uri= - - @@ -68,6 +65,12 @@ step for expanding objects --> + + + + + + @@ -79,6 +82,12 @@ step for expanding objects --> + + + getxml?uri= + + +