From: Stefano Zacchiroli Date: Mon, 2 Dec 2002 13:23:36 +0000 (+0000) Subject: - added an additional level of quoting on xmluri argument because X-Git-Tag: V_0_0_6~22 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b50e234f466412114c88b3d10b315a75c52b06b2;p=helm.git - added an additional level of quoting on xmluri argument because libxslt's document() implementation sucks --- diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index 22e0ac48d..0c8c02845 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -125,8 +125,14 @@ + - getxml?uri= + + + getxml?uri= + +