]> matita.cs.unibo.it Git - helm.git/commit
Incompatible syntax problem between MySql e Sqlite3 fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Jun 2007 11:07:45 +0000 (11:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Jun 2007 11:07:45 +0000 (11:07 +0000)
commit748a6a2ba28c43e128759efbcc04919420e38cc1
treeb0b00b4690b3861b0c10269c05236923884d53e6
parent41c84b305a3e46a972f7fe955c300757a4cfb3ca
Incompatible syntax problem between MySql e Sqlite3 fixed.
components/hmysql/hMysql.ml
components/hmysql/hSql.mli
components/hmysql/hSqlite3.ml
components/library/libraryClean.ml
components/library/libraryDb.ml
components/metadata/metadataDb.ml
components/metadata/metadataDeps.ml
components/whelp/whelp.ml