]> matita.cs.unibo.it Git - helm.git/history - components/metadata/metadataDb.ml
maxipatch for support of multiple DBs.
[helm.git] / components / metadata / metadataDb.ml
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-06-14 Claudio Sacerdoti... Incompatible syntax problem between MySql e Sqlite3...
2007-06-13 Enrico Tassimany changes:
2007-05-18 lzingareadded alternative implementation for hMysql relying
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/