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 b37f5c255e0432a294e49da91f8c1d80176a1ee6..a21a51306d855ad2d33ea898b1d66c9eefd1efad 100644 (file)
--- 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 4171058da022eb3c2b1071050ab62b3d8030c268..9ed07d69bf8cbd250757062b62d55ea20e56eb4c 100644 (file)
--- 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 c5151a0d2b05e4729e077800445bb13f2cc980d0..372bcfccb24db6c3cf60b0a533ef58dca9180061 100644 (file)
--- 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>