]> matita.cs.unibo.it Git - helm.git/commit
added DROP statements to sqlStatements
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 14:37:30 +0000 (14:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 14:37:30 +0000 (14:37 +0000)
commit5510cb3ef87e360d71d8b20593c6d3ee50e35d29
tree3b4a7cda3394fd89d407e8a06540ec20704c9aa8
parent30e88ee56b57607a22e9c668dd96a0972329f074
added DROP statements to sqlStatements
helm/ocaml/metadata/sqlStatements.ml
helm/ocaml/metadata/sqlStatements.mli
helm/ocaml/metadata/table_creator/Makefile
helm/ocaml/metadata/table_creator/table_creator.ml