Ported to ocaml 3.04 (fixed problems with commuting label mode).

diff --git a/helm/DEVEL/mlminidom/AUTHORS b/helm/DEVEL/mlminidom/AUTHORS
index 3598094a9091f48b5f08b12804bb4a7991e090c0..4c93fa331e32e711cb928db48a30d8b38dbb35e8 100644 (file)
--- a/helm/DEVEL/mlminidom/AUTHORS
+++ b/helm/DEVEL/mlminidom/AUTHORS
@@ -1,2 +1,3 @@
 Luca Padovani <luca.padovani@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+Stefano Zacchiroli <zack@cs.unibo.it>

diff --git a/helm/DEVEL/mlminidom/configure.in b/helm/DEVEL/mlminidom/configure.in
index 85ba99a9ae35b70629342aad5d927e7aaa1e51c0..b5f77379fcdc87787be2efe1d753f26e96bc8d2c 100644 (file)
--- 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 1c8e2f7b83b4102cc1ffc8bc9a3fec6dbe43029e..db028106ae6487b7524041f708efec31152a8184 100644 (file)
--- 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"