]> matita.cs.unibo.it Git - helm.git/commitdiff
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Wed, 29 Nov 2000 10:54:53 +0000 (10:54 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 29 Nov 2000 10:54:53 +0000 (10:54 +0000)
1) mml2mmlv1_0.xsl: modified comments and added xlink pointer to msqrt

helm/style/mml2mmlv1_0.xsl

index c88dd3da2a925c2a5fa8dcfc6582ae2dde583f9c..063bfb8cad6c12e61df583e0fa3de9ad159f4d27 100644 (file)
@@ -22,7 +22,7 @@
 
 <!-- ====================================================== -->
 <!--  June, 2000 - HELM group:                              -->
-<!--  Added auxiliary function to inser:                    -->
+<!--  Added auxiliary function to insert:                    -->
 <!--  1) backwards pointers: helm:xref                      -->
 <!--  2) references to definitions: xlink:href              -->
 <!--  Added call-templates to the functions:                -->