]> matita.cs.unibo.it Git - helm.git/commit
support hits table
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 13:00:35 +0000 (13:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 13:00:35 +0000 (13:00 +0000)
commit3a16d37ce8835643d974e8c0e9bf924e77692333
tree6883406d7f1feb3a7f73308116c9b82912a8285e
parent6855d611161c2236cba7eefb2c51b801c32b8a4b
support hits table
helm/ocaml/metadata/extractor/extractor_manager.ml