X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=f5e1b6f74cc415601a2169432cb91acf011f7963;hb=719eb6cd26fffa6de3ca194de310a58fd4834558;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..f5e1b6f74 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -48,6 +48,12 @@
+
+
+
+
+
+
@@ -96,6 +102,69 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -107,7 +176,7 @@
-
+
@@ -121,20 +190,45 @@
〉
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ I
+
+
+
-
-
-
-
-
- I
+
+
+
+
+
+
+
+ I
+
+
-
-
-
@@ -827,6 +921,18 @@
+
+
+
+
+
+
+
+
+ _
+
+
+
@@ -1037,9 +1143,17 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+