From: Stefano Zacchiroli Date: Sun, 20 Jan 2002 14:45:07 +0000 (+0000) Subject: Ported to ocaml 3.04 (fixed problems with commuting label mode). X-Git-Tag: mlminidom_0_2_2~2 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=df7d8a778a7ef0930cad0d10c7b5746d6dc859b8;p=helm.git Ported to ocaml 3.04 (fixed problems with commuting label mode). --- diff --git a/helm/DEVEL/mlminidom/AUTHORS b/helm/DEVEL/mlminidom/AUTHORS index 3598094a9..4c93fa331 100644 --- a/helm/DEVEL/mlminidom/AUTHORS +++ b/helm/DEVEL/mlminidom/AUTHORS @@ -1,2 +1,3 @@ Luca Padovani Claudio Sacerdoti Coen +Stefano Zacchiroli diff --git a/helm/DEVEL/mlminidom/configure.in b/helm/DEVEL/mlminidom/configure.in index 85ba99a9a..b5f77379f 100644 --- a/helm/DEVEL/mlminidom/configure.in +++ b/helm/DEVEL/mlminidom/configure.in @@ -4,7 +4,7 @@ PACKAGE=mlminidom MLMINIDOM_MAJOR_VERSION=0 MLMINIDOM_MINOR_VERSION=2 -MLMINIDOM_MICRO_VERSION=1 +MLMINIDOM_MICRO_VERSION=2 MLMINIDOM_VERSION=$MLMINIDOM_MAJOR_VERSION.$MLMINIDOM_MINOR_VERSION.$MLMINIDOM_MICRO_VERSION VERSION=$MLMINIDOM_VERSION diff --git a/helm/DEVEL/mlminidom/minidom.ml b/helm/DEVEL/mlminidom/minidom.ml index 1c8e2f7b8..db028106a 100644 --- a/helm/DEVEL/mlminidom/minidom.ml +++ b/helm/DEVEL/mlminidom/minidom.ml @@ -33,9 +33,9 @@ external doc_load : string -> mDOMDoc = "ml_doc_load" external doc_new : mDOMString -> mDOMDoc = "ml_doc_new" external doc_get_root_node : mDOMDoc -> mDOMNode = "ml_doc_get_root_node" -external doc_add_entity : mDOMDoc -> mDOMString -> mDOMString -> mDOMEntity = "ml_doc_add_entity" -external doc_get_entity : mDOMDoc -> mDOMString -> mDOMEntity option = "ml_doc_get_entity" -external doc_get_predefined_entity : mDOMDoc -> mDOMString -> mDOMEntity option = "ml_doc_get_predefined_entity" +external doc_add_entity : doc:mDOMDoc -> name:mDOMString -> content:mDOMString -> mDOMEntity = "ml_doc_add_entity" +external doc_get_entity : doc:mDOMDoc -> name:mDOMString -> mDOMEntity option = "ml_doc_get_entity" +external doc_get_predefined_entity : doc:mDOMDoc -> name:mDOMString -> mDOMEntity option = "ml_doc_get_predefined_entity" external entity_get_content : mDOMEntity -> mDOMString = "ml_entity_get_content" external node_is_text : mDOMNode -> bool = "ml_node_is_text" @@ -45,10 +45,10 @@ external node_is_entity_ref : mDOMNode -> bool = "ml_node_is_entity_ref" external node_get_type : mDOMNode -> int = "ml_node_get_type" external node_get_name : mDOMNode -> mDOMString option = "ml_node_get_name" external node_get_ns_uri : mDOMNode -> mDOMString option = "ml_node_get_ns_uri" -external node_get_attribute : mDOMNode -> mDOMString -> mDOMString option = "ml_node_get_attribute" -external node_get_attribute_ns : mDOMNode -> mDOMString -> mDOMString -> mDOMString option = "ml_node_get_attribute_ns" -external node_has_attribute : mDOMNode -> mDOMString -> bool = "ml_node_has_attribute" -external node_has_attribute_ns : mDOMNode -> mDOMString -> mDOMString -> bool = "ml_node_has_attribute_ns" +external node_get_attribute : node:mDOMNode -> name:mDOMString -> mDOMString option = "ml_node_get_attribute" +external node_get_attribute_ns : node:mDOMNode -> name:mDOMString -> ns_uri:mDOMString -> mDOMString option = "ml_node_get_attribute_ns" +external node_has_attribute : node:mDOMNode -> name:mDOMString -> bool = "ml_node_has_attribute" +external node_has_attribute_ns : node:mDOMNode -> name:mDOMString -> ns_uri:mDOMString -> bool = "ml_node_has_attribute_ns" external node_get_content : mDOMNode -> mDOMString option = "ml_node_get_content" external node_get_parent : mDOMNode -> mDOMNode option = "ml_node_get_parent" external node_get_prev_sibling : mDOMNode -> mDOMNode option = "ml_node_get_prev_sibling"