]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/globals.hh
* this is a large commit
[helm.git] / helm / DEVEL / mathml_editor / src / globals.hh
index 2f26a91595f588f0667c7417f9ac894071295a7c..25755a8a8248a304e1b238a1d5b651701849d355 100644 (file)
@@ -2,7 +2,8 @@
 #ifndef __globals_hh__
 #define __globals_hh__
 
-#define TML_NS_URI "http://helm.cs.unibo.it/2002/TML"
-#define XMLNS_NS_URI "http://www.w3.org/2000/xmlns/"
+#define TML_NS_URI    "http://helm.cs.unibo.it/2002/TML"
+#define XMLNS_NS_URI  "http://www.w3.org/2000/xmlns/"
+#define MATHML_NS_URI "http://www.w3.org/1998/Math/MathML"
 
 #endif // __globals_hh__