]> matita.cs.unibo.it Git - helm.git/commit
some new features of mathql-1.3 where included
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Apr 2004 13:42:59 +0000 (13:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Apr 2004 13:42:59 +0000 (13:42 +0000)
commit06b6527a689f994864c13f0ffe401a5b8c052002
treecabc8ab1afcdfe764bd60266ead9b80d9b131603
parent980a9931d3f7b8ce073247c88d7ecd42a672ad74
some new features of mathql-1.3 where included
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/mQIMySql.ml
helm/ocaml/mathql_interpreter/mQIPostgres.ml
helm/ocaml/mathql_interpreter/mQIProperty.ml