]> matita.cs.unibo.it Git - helm.git/commit
MySql database support added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Feb 2004 15:12:18 +0000 (15:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Feb 2004 15:12:18 +0000 (15:12 +0000)
commit980a9931d3f7b8ce073247c88d7ecd42a672ad74
tree8040d81d734f5aff5ee33b0e5160e8963ec16429
parent40ab699e0514d401555a7d605273f696ef982251
MySql database support added
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/Makefile
helm/ocaml/mathql_interpreter/mQIMySql.ml
helm/ocaml/mathql_interpreter/mQIPostgres.ml
helm/ocaml/mathql_interpreter/mQIProperty.ml
helm/ocaml/mathql_interpreter/mQITypes.ml