X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=73d2ab049b9fea0eb85fa83f8ca285c6e021e1cd;hb=caaca5ed51e45a023ccb1244fd5cbbb32d233e2e;hp=8c9b8ead19ca45b35f138f5de16d0b900add3cc2;hpb=a5eb24c63329236dd428627f9567b69758cbbaf0;p=helm.git
diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 8c9b8ead1..73d2ab049 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -1,4 +1,31 @@
+
+
+
+
@@ -19,21 +47,27 @@
+
+
+
+
+
+
-
-
-
-
-
-
-
- block
-
- block
-
-
+
+
+
+
+
+
+
+ block
+
+ block
+
+
@@ -69,30 +103,56 @@
-
-
+
+
+
- −
-
+
+
-
-
+
+
+
+
+
+
+
+ −
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+ 〈
+
+ 〉
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ I
+
+
-
+
+
+
+
+
+
+
+ I
+
+
-
-
-
@@ -226,12 +331,9 @@
-
-
-
-
+
@@ -241,9 +343,7 @@
-
-
-
+
@@ -254,9 +354,7 @@
-
-
-
+
@@ -824,6 +922,18 @@
+
+
+
+
+
+
+
+
+ _
+
+
+
@@ -1034,4 +1144,17 @@
+
+
+
+
+
+
+
+
+
+
+
+
+