From: Irene Schena Date: Fri, 27 Jul 2001 10:06:04 +0000 (+0000) Subject: Modified Files: X-Git-Tag: v0_1_3~96 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=06699deb3cda1102045062c5e54ac3de11e0c565;p=helm.git Modified Files: 1) mmlextension.xsl: m:xref fixed --- diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index c33176a71..75c8a745b 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -1712,7 +1712,12 @@ which generates the toplevel element (see for instance xlink) --> - + + + + + +