]> matita.cs.unibo.it Git - helm.git/commit
added get_pair method
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jun 2005 08:19:36 +0000 (08:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jun 2005 08:19:36 +0000 (08:19 +0000)
commite510bddb3826ec421b1e5f22ce972430994a410c
tree8052da3b1be5227021b03fee3496727053531e7a
parent66cb9dbb90775e44e281cfa29429c335d41a9998
added get_pair method
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/helm_registry.mli
helm/ocaml/registry/tests/sample.xml