]> 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)
commit31d99ae9216eeadfefd74202452748251d4ec275
tree45b5cd797902525c53c863a170da0aaa7b710ee8
parentb109559ac6795075508fd5c231a1bf2a3223031a
HSql.Error ==> HSql.Error of string
helm/software/components/hmysql/hMysql.ml
helm/software/components/hmysql/hSql.mli
helm/software/components/hmysql/hSqlite3.ml
helm/software/components/library/libraryDb.ml