]> matita.cs.unibo.it Git - helm.git/commit
the db connection parameters are now parametrized istead of hard-coded
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 Oct 2002 12:04:36 +0000 (12:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 Oct 2002 12:04:36 +0000 (12:04 +0000)
commit5953b6e29b26a296d18dee9d453cec1255d65c1c
tree5317b2c1be1306e43e9db1c875f37551d7be845b
parenta60d330dfaf77e399c8f0419f78aa4d1422cc367
the db connection parameters are now parametrized istead of hard-coded
we use Sys.time () instead of Unix.time ()
Let-in for vvars fixed
12 files changed:
helm/ocaml/mathql_interpreter/dbconn.ml
helm/ocaml/mathql_interpreter/dbconn.mli
helm/ocaml/mathql_interpreter/diff.ml
helm/ocaml/mathql_interpreter/intersect.ml
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/mqint.mli
helm/ocaml/mathql_interpreter/pattern.ml
helm/ocaml/mathql_interpreter/relation.ml
helm/ocaml/mathql_interpreter/select.ml
helm/ocaml/mathql_interpreter/sortedby.ml
helm/ocaml/mathql_interpreter/union.ml
helm/ocaml/mathql_interpreter/use.ml