From: Irene Schena <irene.schena@unibo.it>
Date: Wed, 29 Nov 2000 10:54:53 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: nogzip~133
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3d9ec7a5ae34e2499394fc9d1d408f78aabf6ea5;p=helm.git

Modified Files:
1) mml2mmlv1_0.xsl: modified comments and added xlink pointer to msqrt
---

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index c88dd3da2..063bfb8ca 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -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:                -->