]> matita.cs.unibo.it Git - helm.git/commit
Db connection initialization
authornatile <??>
Thu, 3 Oct 2002 14:45:30 +0000 (14:45 +0000)
committernatile <??>
Thu, 3 Oct 2002 14:45:30 +0000 (14:45 +0000)
commit94473157e4d94619ea29275ab7c16eaa90a16a92
treec103a8080f40508c33a8470302e02ba80dbb1d41
parentf5925305f248ec424a4a4acbd5339424ccd5e9cd
Db connection initialization
helm/ocaml/mathql_interpreter/mqint.ml