X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlctop.xsl;h=554c3a87be33d72027f1d591ea536d82a7a0e336;hb=1f211ca47fddbe9db9960578970ebcc9282c797f;hp=0a0e454d99d4b7e615c26d5e5a1ed4543f5e3763;hpb=b3d5d4a1ac345d5d54fc91edaf320f01fa82f6b1;p=helm.git

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>