From: Irene Schena <irene.schena@unibo.it>
Date: Tue, 6 Feb 2001 12:20:16 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: v0_1_2~136
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c539f832ce69f7488e79e80d78c2c5003674dc50;p=helm.git

Modified Files:
1) basic.xsl, content.xsl, content_to_html.xsl, html_init.xsl,
html_reals.xsl, html_set.xsl, proofs.xsl, reals.xsl, ricerca.xsl,
set.xsl: removed variable declaration of absPath
2) theory_content.xsl: added comments
2) rootcontent.xsl: inserted variable declaration of absPath
3) mmlextension.xsl: added parenthesis to the first arrow
---

diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index 76258e733..3e385b680 100644
--- a/helm/style/basic.xsl
+++ b/helm/style/basic.xsl
@@ -34,11 +34,6 @@
                               xmlns:m="http://www.w3.org/1998/Math/MathML"
                               xmlns:helm="http://www.cs.unibo.it/helm">
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- ************************* LOGIC *********************************-->
 
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 65f982512..6f2226bbf 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -57,11 +57,6 @@ la forma cic:/.../ in definitionURL e questo schema di uri verra' risolto da
 Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 -->
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- CIC TERMS -->
 
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index d352da2a9..5b57eb0ff 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -37,10 +37,6 @@
 <xsl:include href="html_set.xsl"/>
 <xsl:include href="html_reals.xsl"/>
 
-
-<!-- <xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>-->
-<xsl:variable name="header" select="document('http://localhost:8081/conf')/html_link"/>
-
 <xsl:variable name="showcast" select="0"/>
 
 
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index 0fad1aeab..bb6bea3ba 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -32,9 +32,6 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
-
 <!-- BASIC OPERATORS -->
 
  <xsl:template match="m:apply[m:and|m:or|m:eq|m:neq|m:leq|m:lt
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index eb04dbb6f..de3196b12 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,8 +32,6 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
 <!-- LIMIT -->
 
 <xsl:template match="m:apply[m:limit]">
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index cafdbefc4..78f4a5b9e 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,8 +32,6 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
 <!-- IN -->
 
  <xsl:template match="m:apply[m:in]">
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index f9dcfae51..90f8cca10 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -383,7 +383,7 @@
 <!-- CSYMBOL -->
 
 <xsl:template match="m:apply[m:csymbol]">
-<xsl:param name="nopar" select="1"/>
+<xsl:param name="nopar" select="0"/>
     <xsl:variable name="name"><xsl:value-of select="m:csymbol"/></xsl:variable>
     <xsl:variable name="charlength"><xsl:apply-templates select="m:csymbol" mode="charcount"/></xsl:variable>
     <m:mrow>
@@ -504,7 +504,7 @@
             <xsl:if test="$nopar=0">
              <m:mo stretchy="false">(</m:mo>
             </xsl:if>
-            <xsl:apply-templates select="*[position()=2]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+            <xsl:apply-templates select="*[position()=2]"/>
            </m:mrow>
           </m:mtd>
          </m:mtr>
@@ -520,12 +520,12 @@
               <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="1"/></xsl:apply-templates>
              </xsl:when>
              <xsl:otherwise>
-              <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+              <xsl:apply-templates select="*[position()=3]"/>
              </xsl:otherwise>
              </xsl:choose>
             </xsl:when>
             <xsl:otherwise>
-             <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+             <xsl:apply-templates select="*[position()=3]"/>
             </xsl:otherwise>
             </xsl:choose>
            </m:mrow>
@@ -546,7 +546,7 @@
         <xsl:if test="$nopar=0">
          <m:mo stretchy="false">(</m:mo>
         </xsl:if>
-        <xsl:apply-templates select="*[position()=2]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+        <xsl:apply-templates select="*[position()=2]"/>
         <m:mo mathcolor="Blue">&#x2192;</m:mo>
         <xsl:choose>
         <xsl:when test="*[position()=3]/m:csymbol">
@@ -556,12 +556,12 @@
           <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="1"/></xsl:apply-templates>
          </xsl:when>
          <xsl:otherwise>
-          <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+          <xsl:apply-templates select="*[position()=3]"/>
          </xsl:otherwise>
          </xsl:choose>
         </xsl:when>
         <xsl:otherwise>
-         <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+         <xsl:apply-templates select="*[position()=3]"/>
         </xsl:otherwise>
         </xsl:choose>
         <xsl:if test="$nopar=0">
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 09045cef2..760511fd2 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -34,11 +34,6 @@
                               xmlns:m="http://www.w3.org/1998/Math/MathML"
                               xmlns:helm="http://www.cs.unibo.it/helm">
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- ************************* LOGIC *********************************-->
 
diff --git a/helm/style/reals.xsl b/helm/style/reals.xsl
index 7a1a0d183..6c6f1a755 100644
--- a/helm/style/reals.xsl
+++ b/helm/style/reals.xsl
@@ -35,11 +35,6 @@
                               xmlns:helm="http://www.cs.unibo.it/helm"
                               xmlns:xlink="http://www.w3.org/1999/xlink">
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- ************************* LOGIC *********************************-->
 
diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl
index 1ccfd1db8..b9502139d 100644
--- a/helm/style/ricerca.xsl
+++ b/helm/style/ricerca.xsl
@@ -29,12 +29,6 @@
 <xsl:output method="html"/>
 
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
 <xsl:template match="/">
                <html> 
                 <head></head>
diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl
index c12db2732..022016833 100644
--- a/helm/style/rootcontent.xsl
+++ b/helm/style/rootcontent.xsl
@@ -39,6 +39,11 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
+<!--******************************************************************-->
+<!-- Variable containing the absolute path of the CIC file            -->
+<!--******************************************************************-->
+
+<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <xsl:import href="annotatedcont.xsl"/>
 <xsl:key name="id" use="@id" match="LAMBDA|LETIN|PROD|CAST|REL|SORT|APPLY|VAR|META|CONST|MUTIND|MUTCONSTRUCT|MUTCASE|FIX|COFIX|Definition|Axiom|CurrentProof|InductiveDefinition|Variable"/>
diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index 6fc55645a..849365f3f 100644
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -34,11 +34,6 @@
                               xmlns:m="http://www.w3.org/1998/Math/MathML"
                               xmlns:helm="http://www.cs.unibo.it/helm">
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- ************************* LOGIC *********************************-->
 
diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl
index da4232a23..3129ca5dd 100644
--- a/helm/style/theory_content.xsl
+++ b/helm/style/theory_content.xsl
@@ -79,3 +79,8 @@
 </xsl:template>
 
 </xsl:stylesheet>
+
+
+
+
+