From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 10 Jun 2002 14:46:24 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: V_0_3_0_debian_8~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f211ca47fddbe9db9960578970ebcc9282c797f;p=helm.git

Modified Files:
1) mmlctop.xsl: a copy of mmlctop2_0.xsl
---

diff --git a/helm/style/mmlctop.xsl b/helm/style/mmlctop.xsl
index 0a0e454d9..554c3a87b 100644
--- a/helm/style/mmlctop.xsl
+++ b/helm/style/mmlctop.xsl
@@ -21,10 +21,12 @@
 <!-- ====================================================== -->
 <!--  April, 10 2002 - HELM group:                          -->
 <!--  Added the namespace prefix to all the output elements -->
-<!--  Changed the mml prefix into m                         -->
+<!--  (see 7.1.1.2)                                         -->
+<!--  Changed the mml prefix into m (see A.3)               -->
 <!--  Added xref to every mo element                        -->
 <!--  New csymbol template                                  -->
 <!--  reln is not supported                                 -->
+<!--  HELM tag used for changes                             -->
 <!--  First draft: April 10 2002, Irene Schena              -->
 <!-- ====================================================== -->
 
@@ -38,6 +40,7 @@
 
 <!-- HELM: was
 <xsl:output method="xml" indent="yes"/>
+     only for HELM!
 -->
 <xsl:output method="xml"/>
 
@@ -182,7 +185,7 @@ LINEAR ALGEBRA
 <!-- ***************** THE TOPMOST ELEMENT: MATH ***************** -->
 
 <xsl:template match = "m:math">
-<!-- HELM:  <m:math> -->
+<!-- HELM:  <m:math> only for HELM! -->
   <xsl:choose>
     <xsl:when test="$SEM_SW=$SEM_TOP or $SEM_SW=$SEM_ALL and *[2] or $SEM_SW=$SEM_XREF">             <m:semantics>                                                       
     <m:mrow>