]> 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)
commit0f3aa13cca7b39bf21b82738e1c183bc6c9e6ae3
tree04052d0258ef433db5fd1d8d82364adf098a0f29
parenteeed0d603ddadba6b5ee5041e87794051b9283dd
Incompatible syntax problem between MySql e Sqlite3 fixed.
helm/software/components/hmysql/hMysql.ml
helm/software/components/hmysql/hSql.mli
helm/software/components/hmysql/hSqlite3.ml
helm/software/components/library/libraryClean.ml
helm/software/components/library/libraryDb.ml
helm/software/components/metadata/metadataDb.ml
helm/software/components/metadata/metadataDeps.ml
helm/software/components/whelp/whelp.ml