ocaml 3.09 transition

[helm.git] / helm / nuprl_stylesheets / nuprl_links_library.xsl

diff --git a/helm/nuprl_stylesheets/nuprl_links_library.xsl b/helm/nuprl_stylesheets/nuprl_links_library.xsl
index d023d774f925cc11a90c98c232c751e1243f1542..29426a3c37fb5761809d506eed3a3c2eac763d85 100644 (file)
--- a/helm/nuprl_stylesheets/nuprl_links_library.xsl
+++ b/helm/nuprl_stylesheets/nuprl_links_library.xsl
@@ -277,7 +277,9 @@
  </xsl:variable>
   <!-- CIC CODE removed -->
   <!-- NuPRL CODE -->
-     <xsl:text>http://mowgli.cs.unibo.it:58080/apply?keys=NT,NC2,NL&amp;prop.doctype-public=&amp;prop.media-type=text/html&amp;param.doctype-public=&amp;param.encoding=&amp;param.media-type=text/html&amp;param.CICURI=cic:/CICURI.con&amp;param.naturalLanguage=yes&amp;param.annotations=no&amp;param.topurl=http://helm.cs.unibo.it/helm&amp;param.UNICODEvsSYMBOL=SYMBOL&amp;xmluri=</xsl:text>
+     <xsl:text>http://mowgli.cs.unibo.it:58080/apply?keys=NT,NC2,NL&amp;prop.doctype-public=&amp;prop.media-type=text/html&amp;param.doctype-public=&amp;param.encoding=&amp;param.media-type=text/html&amp;param.CICURI=cic:/CICURI.con&amp;param.naturalLanguage=yes&amp;param.annotations=no&amp;param.topurl=http://helm.cs.unibo.it/helm&amp;param.UNICODEvsSYMBOL=</xsl:text>
+     <xsl:value-of select="$UNICODEvsSYMBOL"/>
+     <xsl:text>&amp;xmluri=</xsl:text>
      <xsl:call-template name="quote">
       <!-- The hard-coded getterURL -->
       <xsl:with-param name="s" select="'http://mowgli.cs.unibo.it:58081/getxml?uri='"/>