]> matita.cs.unibo.it Git - helm.git/commit
- support for multiple bindings of the same key, accessible via get_list
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 11:31:15 +0000 (11:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 11:31:15 +0000 (11:31 +0000)
commit1bb2cfafdfd2a3648ca8d2eac8b1952210fc5e65
tree7808c7d53948b5322e365a9036f2646d548425df
parent4a3a4a798967ddea5c537ed09e91c7218a5f67b3
- support for multiple bindings of the same key, accessible via get_list
- changed get_opt interface so that marshallers/unmarshallers are needed
  instead of getters/setters
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/helm_registry.mli
helm/ocaml/registry/tests/sample.xml