X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_links_library.xsl;h=29426a3c37fb5761809d506eed3a3c2eac763d85;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d023d774f925cc11a90c98c232c751e1243f1542;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git

diff --git a/helm/nuprl_stylesheets/nuprl_links_library.xsl b/helm/nuprl_stylesheets/nuprl_links_library.xsl
index d023d774f..29426a3c3 100644
--- 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='"/>