From: Irene Schena <irene.schena@unibo.it>
Date: Thu, 16 May 2002 14:35:45 +0000 (+0000)
Subject:  Modified Files:
X-Git-Tag: V_0_3_0_debian_8~104
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=a61f397a3ea3acaf95a04a2aafbf1d3f223a2755

 Modified Files:
1) mmlctop2_0.xsl: added comments
---

diff --git a/helm/style/mmlctop2_0.xsl b/helm/style/mmlctop2_0.xsl
index 0a0e454d9..554c3a87b 100644
--- a/helm/style/mmlctop2_0.xsl
+++ b/helm/style/mmlctop2_0.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>