]> matita.cs.unibo.it Git - helm.git/commit
more friendly sqlStatements api
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 13:55:07 +0000 (13:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 13:55:07 +0000 (13:55 +0000)
commit30e88ee56b57607a22e9c668dd96a0972329f074
treef51da34558d23231345bd3305a92dc574f425b73
parent7c08187b8e1af81817927151aa07d52b72c7aa4d
more friendly sqlStatements api
helm/ocaml/metadata/sqlStatements.ml
helm/ocaml/metadata/sqlStatements.mli
helm/ocaml/metadata/table_creator/table_creator.ml