X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;fp=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=330da7a24d6e6806e353ed10840b27f4ce6fc603;hb=ef35bce6975cc94557ecdce77a2d7fb4dd8adb4c;hp=67e1accfbe2189c9776317d4566a483c1c3a6311;hpb=d9b8d61ec58c992aa116db6bdd4175a4a9e6c56b;p=helm.git

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index 67e1accfb..330da7a24 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -20,6 +20,17 @@
 <!--  Added the declaration of the xlink namespace          --> 
 <!-- ====================================================== -->
 
+<!-- ====================================================== -->
+<!--  June, 2000 - HELM group:                              -->
+<!--  Added auxiliary function to inser:                    -->
+<!--  1) backwards pointers: helm:xref                      -->
+<!--  2) references to definitions: xlink:href              -->
+<!--  Added call-templates to the functions:                -->
+<!--  insert_xref, insert, insert1, insert2                 -->
+<!-- ====================================================== -->
+
+
+<!-- HELM: namespace helm added -->
 <xsl:stylesheet id="mml2mml"
                 version="1.0"
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
@@ -67,7 +78,7 @@
 <xsl:variable name="NEG_PREC" select="13"/>
 <xsl:variable name="FUNCTION_PREC" select="99"/>
 
-<!-- AUXILIARY FUNCTIONS FOR BACKWARD POINTERS AND REFS (by andrea) -->
+<!-- HELM: auxiliary functions for backwards pointers and refs -->
 
 <xsl:template name = "insert_xref">
  <xsl:if test="@helm:xref">
@@ -90,7 +101,7 @@
  </xsl:if>
 </xsl:template>
 
-<!-- for use inside m:apply -->
+<!-- HELM: for use inside m:apply -->
 <xsl:template name = "insert1">
  <xsl:if test="*[1]/@definitionURL">
   <xsl:attribute name="xlink:href">
@@ -104,7 +115,7 @@
  </xsl:if>
 </xsl:template>
 
-<!-- For use inside "for-each" -->
+<!-- HELM: for use inside "for-each" -->
 <xsl:template name = "insert2">
  <xsl:if test="../*[1]/@definitionURL">
   <xsl:attribute name="xlink:href">
@@ -408,7 +419,7 @@
  </m:mrow>
 </xsl:template>
 
-<!-- These "semantical" Transformations are REALLY questionable.
+<!-- HELM: these "semantical" Transformations are REALLY questionable.
      Andrea -->
 
 <xsl:template match = "m:apply[*[1][self::m:inverse]]">
@@ -903,7 +914,7 @@
   </xsl:apply-templates>
   <xsl:if test="*[3]">
     <xsl:for-each select = "*[position()>2]">
-<!-- MODIFICA PROVVISORIA -->
+<!-- HELM: MODIFICA PROVVISORIA -->
 <!--      <m:mo><xsl:call-template name="insert2"/>
                 <mchar name="InvisibleTimes"/> </m:mo> -->
       <m:mo><xsl:call-template name="insert2"/>*</m:mo>
@@ -916,7 +927,7 @@
   </xsl:if>
 </xsl:template>
 
-<!-- COMMENTO : dove metto la uri della definizione di radice ???? -->
+<!-- HELM: COMMENTO : dove metto la uri della definizione di radice ???? -->
 
 <xsl:template match = "m:apply[m:root[1]]">
   <m:msqrt>
@@ -1955,3 +1966,19 @@
 </xsl:template>
 
 </xsl:stylesheet>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+