X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=c4210dd3cafca81099317ab9e65a6d75f2fbf5af;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=063bfb8cad6c12e61df583e0fa3de9ad159f4d27;hpb=3d9ec7a5ae34e2499394fc9d1d408f78aabf6ea5;p=helm.git
diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index 063bfb8ca..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -370,7 +370,10 @@
-
+
+
+
+
@@ -1155,7 +1158,10 @@
+
+