]> matita.cs.unibo.it Git - helm.git/commit
Db exceptions update
authornatile <??>
Thu, 3 Oct 2002 08:00:32 +0000 (08:00 +0000)
committernatile <??>
Thu, 3 Oct 2002 08:00:32 +0000 (08:00 +0000)
commitf5925305f248ec424a4a4acbd5339424ccd5e9cd
tree5fd467b46f99a3760888de1258d1d7253b0cddfc
parent61872e154b77378c203e4a9b179b4067cfe7f23b
Db exceptions update
helm/ocaml/mathql_interpreter/dbconn.ml