X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=9113ba51c2a1643c2a0b3aee6e53a82d32c921ab;hb=32ca7ef634a861ddca8e63491d8fada852d6cabf;hp=a22dc0dd332d56fcc2c4fcf3ee480792d3017c03;hpb=985d664bf27762902b93a2158e755aeabe6ee27f;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index a22dc0dd3..9113ba51c 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1530,7 +1530,7 @@
- >
+