]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 76ef692)
The UNICODEvsSYMBOL machinery is now working again.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2003 17:03:29 +0000 (17:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2003 17:03:29 +0000 (17:03 +0000)
helm/nuprl_stylesheets/nuprl_html_arith.xsl patch | blob | history
helm/nuprl_stylesheets/nuprl_html_basic.xsl patch | blob | history
helm/nuprl_stylesheets/nuprl_links_library.xsl patch | blob | history

diff --git a/helm/nuprl_stylesheets/nuprl_html_arith.xsl b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
index 995a23c75a4e5305902a9dd1520e00a34cd54e32..74cec306adad68356ae5b803ac8144d27058b562 100644 (file)
--- 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 dfe3a011fe432d79508d7a9f92c8fc81926d0c5e..58478b65149bc569c2bb96573fc000c408d7a67d 100644 (file)
--- 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 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='"/>
Unnamed repository; edit this file 'description' to name the repository.