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=f9a7e69070f68fab62d9e17dcf0d1b796a476f3e;hpb=bf14e2772daee20783a7bc32ea3351662e362ae1;p=helm.git
diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index f9a7e6907..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,19 +103,56 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ −
+
+
-
-
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+ 〈
+
+ 〉
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ I
+
+
-
+
+
+
+
+
+
+
+ I
+
+
-
-
-
@@ -215,12 +331,9 @@
-
-
-
-
+
@@ -230,9 +343,7 @@
-
-
-
+
@@ -243,9 +354,7 @@
-
-
-
+
@@ -813,6 +922,18 @@
+
+
+
+
+
+
+
+
+ _
+
+
+
@@ -1023,4 +1144,17 @@
+
+
+
+
+
+
+
+
+
+
+
+
+