X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Fminidom%2Ftest.ml;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Fminidom%2Ftest.ml;h=a1567864c7ae92054a083d9b42ce5eb06b62ad5e;hb=81214a3e858c8a883785e7b5df51bb79eba244e1;hp=0000000000000000000000000000000000000000;hpb=5a19cfcbebeb144bce8a9c397788641239fde570;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.ml
new file mode 100644
index 000000000..a1567864c
--- /dev/null
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.ml
@@ -0,0 +1,9 @@
+
+let doc = Minidom.doc_load "test.xml"
+
+let root = Minidom.doc_get_root_node doc
+
+let Some root_name = Minidom.node_get_name root
+;;
+
+print_string (Minidom.string_of_mDOMString root_name)
\ No newline at end of file