X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20001129_gtkmathview-0.2.1%2Fminidom%2Fominidom.mli;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20001129_gtkmathview-0.2.1%2Fminidom%2Fominidom.mli;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=24329544df0959b953f760421144dc4ea7ce3b25;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/ominidom.mli b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/ominidom.mli
deleted file mode 100644
index 24329544d..000000000
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/ominidom.mli
+++ /dev/null
@@ -1,64 +0,0 @@
-exception Node_has_no_parent
-exception Node_has_no_sibling of string
-exception Node_has_no_children
-exception Node_has_no_attributes
-exception Attribute_has_no_sibling of string
-exception Attribute_has_no_parent
-exception Undefined_entity
-
-class o_mDOMString : Minidom.mDOMString ->
-  object
-    method get_dom_string : Minidom.mDOMString
-    method get_string : string
-  end
-
-val o_mDOMString_of_string : string -> o_mDOMString
-
-class o_mDOMEntity : Minidom.mDOMEntity ->
-  object
-    method get_content : o_mDOMString
-    method get_dom_entity : Minidom.mDOMEntity
-  end
-
-class o_mDOMDoc : Minidom.mDOMDoc ->
-  object
-    method add_entity : o_mDOMString -> o_mDOMString -> o_mDOMEntity
-    method get_dom_doc : Minidom.mDOMDoc
-    method get_entity : o_mDOMString -> o_mDOMEntity
-    method get_predefined_entity : o_mDOMString -> o_mDOMEntity
-    method get_root_node : o_mDOMNode
-  end
-and o_mDOMNode : Minidom.mDOMNode ->
-  object
-    method get_attribute : o_mDOMString -> o_mDOMString option
-    method get_attribute_ns :
-      o_mDOMString -> o_mDOMString -> o_mDOMString option
-    method get_attributes : o_mDOMAttr list
-    method get_children : o_mDOMNode list
-    method get_content : o_mDOMString option
-    method get_dom_node : Minidom.mDOMNode
-    method get_first_attribute : o_mDOMAttr
-    method get_first_child : o_mDOMNode
-    method get_name : o_mDOMString option
-    method get_next_sibling : o_mDOMNode
-    method get_ns_uri : o_mDOMString option
-    method get_parent : o_mDOMNode
-    method get_prev_sibling : o_mDOMNode
-    method get_type : int
-    method is_blank : bool
-    method is_element : bool
-    method is_entity_ref : bool
-    method is_first : bool
-    method is_last : bool
-    method is_text : bool
-  end
-and o_mDOMAttr : Minidom.mDOMAttr ->
-  object
-    method get_dom_attr : Minidom.mDOMAttr
-    method get_name : o_mDOMString option
-    method get_next_sibling : o_mDOMAttr
-    method get_ns_uri : o_mDOMString option
-    method get_parent : o_mDOMNode
-    method get_prev_sibling : o_mDOMAttr
-    method get_value : o_mDOMString option
-  end