From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Dec 2002 16:58:44 +0000 (+0000)
Subject: positive.xsl is now included in headercontent.xsl and no more required in
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8f6633d8c253484eb18f2ba8eb48213fe86c0ba0;p=helm.git

positive.xsl is now included in headercontent.xsl and no more required in
arith.xml and list.xml. This is necessary to overload the standard rendering
of some operators (e.g. notation for real numbers).
---

diff --git a/helm/meta_style/arith.xml b/helm/meta_style/arith.xml
index b37f5c255..a21a51306 100644
--- a/helm/meta_style/arith.xml
+++ b/helm/meta_style/arith.xml
@@ -4,8 +4,6 @@
 
 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<import href="positive.xsl"/>
-
 <Operator
  name  = "LESS EQUAL"
  uri   = "cic:/Coq/Init/Peano/le.ind | cic:/Coq/ZArith/zarith_aux/Zle.con"
diff --git a/helm/meta_style/list.xml b/helm/meta_style/list.xml
index 4171058da..9ed07d69b 100644
--- a/helm/meta_style/list.xml
+++ b/helm/meta_style/list.xml
@@ -4,8 +4,6 @@
 
 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<import href="positive.xsl"/>
-
 <!-- CSC: manca
 <Operator
  name  = "CONS"
diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index c5151a0d2..372bcfccb 100644
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -31,14 +31,16 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
-<xsl:include href="contentlib.xsl"/>   <!-- FG -->
+<!-- Warning: the first included stylesheet has the lowest precedence -->
+<xsl:include href="contentlib.xsl"/>
 <xsl:include href="basic.xsl"/>
-<xsl:include href="arith.xsl"/>        <!-- FG -->
+<xsl:include href="arith.xsl"/>
 <xsl:include href="set.xsl"/>
 <xsl:include href="list.xsl"/>
 <xsl:include href="reals.xsl"/>
-<xsl:include href="ring.xsl"/>        <!-- FG -->
+<xsl:include href="ring.xsl"/>
 <xsl:include href="algebra.xsl"/> 
 <xsl:include href="lambda.xsl"/>
+<xsl:include href="positive.xsl"/>
 
 </xsl:stylesheet>