]> 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: 2378743)
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Tue, 6 Feb 2001 12:20:16 +0000 (12:20 +0000)
committerIrene Schena <irene.schena@unibo.it>
Tue, 6 Feb 2001 12:20:16 +0000 (12:20 +0000)
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

13 files changed:
helm/style/basic.xsl patch | blob | history
helm/style/content.xsl patch | blob | history
helm/style/content_to_html.xsl patch | blob | history
helm/style/html_init.xsl patch | blob | history
helm/style/html_reals.xsl patch | blob | history
helm/style/html_set.xsl patch | blob | history
helm/style/mmlextension.xsl patch | blob | history
helm/style/proofs.xsl patch | blob | history
helm/style/reals.xsl patch | blob | history
helm/style/ricerca.xsl patch | blob | history
helm/style/rootcontent.xsl patch | blob | history
helm/style/set.xsl patch | blob | history
helm/style/theory_content.xsl patch | blob | history

diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index 76258e733b854e1cf4aed845bcd89c8fa9126dee..3e385b68032e8dd144a917573d1bd417d5fe387d 100644 (file)
--- 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 65f9825128b4eb13d0208c8b2def3e359ea71786..6f2226bbf7c6f04cd93fa94e03d0c636cda33c41 100644 (file)
--- 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 d352da2a9a6d713dbc99819d8b68a1e15519a968..5b57eb0ff19859363a9c0d74bf25ee064bed9877 100644 (file)
--- 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 0fad1aeab7d6cb33c1127ab176d42c90624ecb1e..bb6bea3ba064347478c777b5c9c2f91d6c1b65fa 100644 (file)
--- 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 eb04dbb6f8dd58cff8f4f68d57e13e31b07d268b..de3196b128118af37f2538009623f992a92449a5 100644 (file)
--- 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 cafdbefc40cf92cc9fcdafe06ebe6b2dce38e49f..78f4a5b9ea98e0c01ed0b1c9d7bd8c40b3fc2dbb 100644 (file)
--- 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 f9dcfae51b6dd0ee8cb0809ad77fd7398982ea7a..90f8cca103d34b091ebb4af014c0c21b1f953857 100644 (file)
--- 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 09045cef239c866d0b4ebba8c3b02ed2f1484e11..760511fd2b193d513c98b05b56f9754d628ce261 100644 (file)
--- 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 7a1a0d1839de749ac5c4e0a23491d0f565f00393..6c6f1a7555e49a6705058094f4206195244a4480 100644 (file)
--- 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 1ccfd1db87033f1b68af90b3e340207635122a75..b9502139d1f25c4258ea071598b0f7e9d000ab64 100644 (file)
--- 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 c12db2732eae80521108f6d8c1b07c38a21d5c13..0220168335e9fbcc29a9757234558bb1feb4a2b5 100644 (file)
--- 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 6fc55645a2c984443e05cfb522cae765ea997037..849365f3f6f155b1bda2ae33150525752dd6e99b 100644 (file)
--- 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 da4232a23f9960dad53b728610fcc93ea099476d..3129ca5dd19ecc5332e4fd5adab6a427dd713e55 100644 (file)
--- a/helm/style/theory_content.xsl
+++ b/helm/style/theory_content.xsl
@@ -79,3 +79,8 @@
 </xsl:template>
 
 </xsl:stylesheet>
+
+
+
+
+
Unnamed repository; edit this file 'description' to name the repository.