X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=8c9b8ead19ca45b35f138f5de16d0b900add3cc2;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=8b237387f4bc3bd4a99ca7de90bfc7bd87fecfde;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git
diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 8b237387f..8c9b8ead1 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -3,6 +3,7 @@
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:tml="http://helm.cs.unibo.it/2002/TML"
xmlns:m="http://www.w3.org/1998/Math/MathML"
+ exclude-result-prefixes="tml"
version="1.0">
@@ -68,7 +69,18 @@
-
+
+
+
+
+
+
+
+ −
+
+
+
+
@@ -84,17 +96,35 @@
-
-
-
-
-
-
-
+
+
+
+
+ I
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -128,7 +158,7 @@
-
+
@@ -196,9 +226,12 @@
+
-
+
+
+
@@ -208,7 +241,9 @@
-
+
+
+
@@ -219,7 +254,9 @@
-
+
+
+
@@ -517,7 +554,7 @@
̅
- >
+
@@ -553,8 +590,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -669,6 +714,12 @@
+
+
+ }
+
+
+
@@ -946,4 +997,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+