]> matita.cs.unibo.it Git - helm.git/commit
added OO interface
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:15:09 +0000 (12:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:15:09 +0000 (12:15 +0000)
commitf277b17863953c96c944ca5101394b6a726abc8c
treef68f2eaad05c8167f605967bc1b2e8e837a7e93a
parent15ef65f8ccfd539a6ee77d609325cf991bcce789
added OO interface
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/helm_registry.mli