]> matita.cs.unibo.it Git - helm.git/commit
HSql.Error ==> HSql.Error of string
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 May 2007 15:58:53 +0000 (15:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 May 2007 15:58:53 +0000 (15:58 +0000)
commit946f85ff8a6cbfd3712a73919cdadc4d99916971
tree6b44c404432b2adcb762ef70ccd9bffb75d1a6eb
parent982419ddd10ec939f25b7f5cdc02c70091d03165
HSql.Error ==> HSql.Error of string
components/hmysql/hMysql.ml
components/hmysql/hSql.mli
components/hmysql/hSqlite3.ml
components/library/libraryDb.ml