]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a3a4a7) | patch
- 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
tree7808c7d53948b5322e365a9036f2646d548425dftree | snapshot
parent4a3a4a798967ddea5c537ed09e91c7218a5f67b3commit | diff
- 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 diff | blob | history
helm/ocaml/registry/helm_registry.mli diff | blob | history
helm/ocaml/registry/tests/sample.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.