]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/metadata/table_creator
Universes speedup:
[helm.git] / helm / ocaml / metadata / table_creator /
2006-01-08 Claudio Sacerdoti... .cvsignore files removed (the svn:property property...
2005-05-13 Stefano Zacchiroliadded list and fill actions
2005-05-13 Stefano Zacchirolisync script among databases
2005-05-13 Enrico Tassibetter table creator
2005-05-13 Stefano Zacchiroliadded "all" table meaning "act on all tables"
2005-05-13 Stefano Zacchirolifixed
2005-05-05 Stefano Zacchiroli- added .cvsignore
2005-05-03 Enrico Tassiadded DROP statements to sqlStatements
2005-05-03 Enrico Tassimore friendly sqlStatements api
2005-05-03 Enrico Tassiadded table_creator (comman line frontend to SqlStatements)