]> matita.cs.unibo.it Git - helm.git/commit
This commit was manufactured by cvs2svn to create branch 'mathql_1_4'.
authorno author <no.author@nowhere.it>
Fri, 27 Feb 2004 14:06:41 +0000 (14:06 +0000)
committerno author <no.author@nowhere.it>
Fri, 27 Feb 2004 14:06:41 +0000 (14:06 +0000)
commit40ab699e0514d401555a7d605273f696ef982251
tree680d94dfe04536312f581de0f00bd4a8d406beba
parent1d224f3b98d9a2965014071ffa01d16e2497455d
This commit was manufactured by cvs2svn to create branch 'mathql_1_4'.
helm/ocaml/mathql_interpreter/mQIMySql.ml [new file with mode: 0644]
helm/ocaml/mathql_interpreter/mQIPostgres.ml [new file with mode: 0644]
helm/ocaml/mathql_interpreter/mQITypes.ml [new file with mode: 0644]