X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=c4210dd3cafca81099317ab9e65a6d75f2fbf5af;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=a29d6019cac7b85324c76742f6c4d38642a161b6;hpb=ed48e54d2bd1a483edb14fad9f4dcefe4f9076f6;p=helm.git diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl index a29d6019c..c4210dd3c 100644 --- a/helm/style/mml2mmlv1_0.xsl +++ b/helm/style/mml2mmlv1_0.xsl @@ -370,7 +370,10 @@ - + + + +