From 4e5d2321c182e908cd5e522605fcd6be237a1c0a Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 10 Apr 2003 17:03:29 +0000
Subject: [PATCH] The UNICODEvsSYMBOL machinery is now working again.

---
 helm/nuprl_stylesheets/nuprl_html_arith.xsl   | 28 +++++++++----------
 helm/nuprl_stylesheets/nuprl_html_basic.xsl   | 28 +++++++++----------
 .../nuprl_stylesheets/nuprl_links_library.xsl |  4 ++-
 3 files changed, 31 insertions(+), 29 deletions(-)

diff --git a/helm/nuprl_stylesheets/nuprl_html_arith.xsl b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
index 995a23c75..74cec306a 100644
--- a/helm/nuprl_stylesheets/nuprl_html_arith.xsl
+++ b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
@@ -22,56 +22,56 @@
 <!--leq-->
   <xsl:variable name="leq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xA3;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2264;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xA3;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2264;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--lt-->
   <xsl:variable name="lt">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&lt;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&lt; </xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&lt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&lt; </xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--geq-->
   <xsl:variable name="geq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xB3;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2265;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xB3;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2265;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--gt-->
   <xsl:variable name="gt">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&gt;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&gt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&gt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&gt;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--plus-->
   <xsl:variable name="plus">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">+</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">+</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">+</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">+</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--minus-->
   <xsl:variable name="minus">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">-</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">-</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">-</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">-</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--times-->
   <xsl:variable name="times">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">*</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2217;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">*</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2217;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
diff --git a/helm/nuprl_stylesheets/nuprl_html_basic.xsl b/helm/nuprl_stylesheets/nuprl_html_basic.xsl
index dfe3a011f..58478b651 100644
--- a/helm/nuprl_stylesheets/nuprl_html_basic.xsl
+++ b/helm/nuprl_stylesheets/nuprl_html_basic.xsl
@@ -22,56 +22,56 @@
 <!--and-->
   <xsl:variable name="and">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xD9;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2227;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xD9;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2227;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--or-->
   <xsl:variable name="or">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xDA;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2228;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xDA;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2228;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--iff-->
   <xsl:variable name="iff">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xDB;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x21D4;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xDB;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x21D4;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--not-->
   <xsl:variable name="not">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xD8;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#xAC;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xD8;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#xAC;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--eq-->
   <xsl:variable name="eq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">=</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">=</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">=</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">=</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--neq-->
   <xsl:variable name="neq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xB9;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2260;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xB9;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2260;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--exists-->
   <xsl:variable name="exists">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">$</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2203;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">$</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2203;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
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='"/>
-- 
2.39.2