]> matita.cs.unibo.it Git - helm.git/commit
changed get_pair interface, now supports different unmarshallers
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jun 2005 08:22:38 +0000 (08:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jun 2005 08:22:38 +0000 (08:22 +0000)
commitbae55b6a8409d2a5b852544c26283a926ba01abf
tree1bb763cd6648541308e80815ded411fc350b3e4e
parente510bddb3826ec421b1e5f22ce972430994a410c
changed get_pair interface, now supports different unmarshallers
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/helm_registry.mli
helm/ocaml/registry/tests/sample.xml