]> matita.cs.unibo.it Git - helm.git/commit
Db connection ok!
authornatile <??>
Tue, 8 Oct 2002 08:56:51 +0000 (08:56 +0000)
committernatile <??>
Tue, 8 Oct 2002 08:56:51 +0000 (08:56 +0000)
commit3cc4326e6f0b2865a9506f024b20bb3ba406077a
tree722e633dbc464a3473a5492051314605dd0d8479
parentfd1cdc0fff3f15c67d949e016135c77c7c4a7ebd
Db connection ok!
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/Makefile
helm/ocaml/mathql_interpreter/dbconn.ml
helm/ocaml/mathql_interpreter/mqint.ml