]> matita.cs.unibo.it Git - helm.git/commit
added index on refRel and the rename table statements
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:20:20 +0000 (10:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:20:20 +0000 (10:20 +0000)
commit65ae6cf2cd1aaf298704d3f588ec33455e4da7e3
tree9929fdabd030f31e18bb27b0128ac1271155b1f5
parent52d40595f2cc59fb58a9c544041fccc59f223a58
added index on refRel and the rename table statements
helm/ocaml/metadata/sqlStatements.ml
helm/ocaml/metadata/sqlStatements.mli