]> matita.cs.unibo.it Git - helm.git/commit
added some debugging messages
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2004 11:55:42 +0000 (11:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2004 11:55:42 +0000 (11:55 +0000)
commit90926d0f15211f458e3db188eb68fcb76c0bde46
treeaa88ce8a30a837843f02a4fe1832c4d373df6648
parentcdb9c1c0efcf68e15f0d7e63f5d92dc87d2b3ac9
added some debugging messages
helm/ocaml/registry/helm_registry.ml