]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.ml
a1567864c7ae92054a083d9b42ce5eb06b62ad5e
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.2.0 / minidom / test.ml
1
2 let doc = Minidom.doc_load "test.xml"
3
4 let root = Minidom.doc_get_root_node doc
5
6 let Some root_name = Minidom.node_get_name root
7 ;;
8
9 print_string (Minidom.string_of_mDOMString root_name)