]> matita.cs.unibo.it Git - helm.git/commit
single INSERT on multiple tuples
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 28 Apr 2005 13:30:40 +0000 (13:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 28 Apr 2005 13:30:40 +0000 (13:30 +0000)
commit26c3b57c2142bfd2242571109374c3203c7980dd
tree0f4a530e5e21422d20fd60aab884a8ce7ac556e1
parent49e1d8c87e52b9b62bad467246e953d3af81a692
single INSERT on multiple tuples
cosmetic changes
vars are now indexed
helm/ocaml/metadata/metadataDb.ml
helm/ocaml/metadata/metadataDb.mli
helm/ocaml/metadata/metadataExtractor.ml
helm/ocaml/metadata/metadataExtractor.mli
helm/ocaml/metadata/metadataPp.ml
helm/ocaml/metadata/metadataPp.mli
helm/ocaml/metadata/test.ml