]> matita.cs.unibo.it Git - helm.git/commit
use PxpHelmConf module
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:07:12 +0000 (12:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:07:12 +0000 (12:07 +0000)
commit6556d39b592c1e56b0e7f4055242232b8bfe3c90
treee27313beb52983fd91197f317eec78501e916702
parentbbff1250ea4a6c74151ef00340983f2547b2e912
use PxpHelmConf module
helm/ocaml/registry/Makefile
helm/ocaml/registry/helm_registry.ml