X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=73d2ab049b9fea0eb85fa83f8ca285c6e021e1cd;hb=0224ce3e20ff502b7ce04865bc23ed99a47c764d;hp=ddbf91eb7870d26c4da54b68b1c087daf8fc2f86;hpb=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;p=helm.git
diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index ddbf91eb7..73d2ab049 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -1,29 +1,31 @@
-
+
+
@@ -44,21 +47,27 @@
+
+
+
+
+
+
-
-
-
-
-
-
-
- block
-
- block
-
-
+
+
+
+
+
+
+
+ block
+
+ block
+
+
@@ -94,6 +103,69 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -105,7 +177,7 @@
-
+
@@ -119,20 +191,45 @@
〉
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ I
+
+
+
-
-
-
-
-
- I
+
+
+
+
+
+
+
+ I
+
+
-
-
-
@@ -825,6 +922,18 @@
+
+
+
+
+
+
+
+
+ _
+
+
+
@@ -1035,9 +1144,17 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+