X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmmlextension.xsl;h=9113ba51c2a1643c2a0b3aee6e53a82d32c921ab;hb=71cc512008eddc1c64b0388b7def903d1994eaa2;hp=5537076fb7173ef65fb617fda37cbb422f2e31d5;hpb=07fa5c704b876f1e84af3013de37a9fa269c1d86;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 5537076fb..9113ba51c 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1266,9 +1266,7 @@
__
-
- =
-
+ =
@@ -1532,7 +1530,7 @@
- >
+