matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql_interpreter/mQIMySql.ml

2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	blob \| commitdiff \| raw
2004-04-22	Claudio Sacerdoti...	mathql_interpreter.mysql_connection.* keys added.	blob \| commitdiff \| raw \| diff to current
2004-03-10	Ferruccio Guidi	- interpreter: the queries are printed before execution	blob \| commitdiff \| raw \| diff to current
2004-03-09	Claudio Sacerdoti...	Debug code removed.	blob \| commitdiff \| raw \| diff to current
2004-03-09	Claudio Sacerdoti...	Bug fixed: instead of generating "not ()", I generate...	blob \| commitdiff \| raw \| diff to current
2004-03-08	Claudio Sacerdoti...	- reindented	blob \| commitdiff \| raw \| diff to current
2004-02-26	Ferruccio Guidi	- MySQL mode added to the interpreter	blob \| commitdiff \| raw \| diff to current
2004-02-24	Claudio Sacerdoti...	Quick patch to make everything work with MySql.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.