X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=73d2ab049b9fea0eb85fa83f8ca285c6e021e1cd;hb=76000efbc771b53f15a502d558a5b7b0297c9c6b;hp=7b225f0e3c1a2f15799e256d90c3634a7ef857db;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git
diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 7b225f0e3..73d2ab049 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -38,6 +38,7 @@
+
@@ -46,21 +47,27 @@
+
+
+
+
+
+
-
-
-
-
-
-
-
- block
-
- block
-
-
+
+
+
+
+
+
+
+ block
+
+ block
+
+
@@ -96,6 +103,69 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -107,7 +177,7 @@
-
+
@@ -121,20 +191,45 @@
〉
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ I
+
+
+
-
-
-
-
-
- I
+
+
+
+
+
+
+
+ I
+
+
-
-
-
@@ -827,6 +922,18 @@
+
+
+
+
+
+
+
+
+ _
+
+
+
@@ -1037,9 +1144,17 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+