]> matita.cs.unibo.it Git - helm.git/commitdiff
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 10 Jun 2002 14:46:24 +0000 (14:46 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 10 Jun 2002 14:46:24 +0000 (14:46 +0000)
1) mmlctop.xsl: a copy of mmlctop2_0.xsl

helm/style/mmlctop.xsl

index 0a0e454d99d4b7e615c26d5e5a1ed4543f5e3763..554c3a87be33d72027f1d591ea536d82a7a0e336 100644 (file)
 <!-- ====================================================== -->
 <!--  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>