matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/proofEngine.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/proofEngine.mli

2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	blob \| commitdiff \| raw
2004-10-22	Stefano Zacchiroli	temporary: for the moment we need both MQI handle and...	blob \| commitdiff \| raw \| diff to current
2004-03-12	acerioni	New tactic Auto.	blob \| commitdiff \| raw \| diff to current
2003-09-23	Claudio Sacerdoti...	ProofEngine.proof is now an abstract data type (since...	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	blob \| commitdiff \| raw \| diff to current
2002-10-11	Claudio Sacerdoti...	New tactic rewrite implemented.	blob \| commitdiff \| raw \| diff to current
2002-09-20	Claudio Sacerdoti...	change code moved to change_tac (functional version...	blob \| commitdiff \| raw \| diff to current
2002-09-04	Enrico Tassi	Fourier tactic	blob \| commitdiff \| raw \| diff to current
2002-07-22	Claudio Sacerdoti...	Many improvements in tactics (and tactical) representation:	blob \| commitdiff \| raw \| diff to current
2002-07-01	Stefano Zacchiroli	- added Ring tactic on reals	blob \| commitdiff \| raw \| diff to current

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