]> matita.cs.unibo.it Git - helm.git/commit
added support for hits table
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 13:01:25 +0000 (13:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 13:01:25 +0000 (13:01 +0000)
commit58dc98ecc3943c9945dee039fe03e1344cc60e4f
treee4af9edc4953d9977dc06cf0b62f836bcc9d2e97
parent195cc290eb6e6dc5d5dc9b34bddef083c5c5b0b8
added support for hits table
helm/ocaml/metadata/metadataTypes.ml
helm/ocaml/metadata/metadataTypes.mli
helm/ocaml/metadata/sqlStatements.ml
helm/ocaml/metadata/sqlStatements.mli