matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/autoTactic.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/autoTactic.mli

2005-09-26	Alberto Griggio	new signature of auto_tac, with a new optional argument...	blob \| commitdiff \| raw
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Alberto Griggio	added optional "paramodulation" parameter to auto to...	blob \| commitdiff \| raw \| diff to current
2005-07-21	Alberto Griggio	integration with paramodulation	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	* auto_tac removed (it can be found in CVS)	blob \| commitdiff \| raw \| diff to current
2005-06-16	Stefano Zacchiroli	added depth and width (optional) parameters to auto_tac_new	blob \| commitdiff \| raw \| diff to current
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	blob \| commitdiff \| raw \| diff to current
2005-05-02	Enrico Tassi	attached auto	blob \| commitdiff \| raw \| diff to current
2004-11-04	Andrea Asperti	Auto moved to a new file autoTactic.ml	blob \| commitdiff \| raw \| diff to current

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