matita.cs.unibo.it Git - helm.git/history - components/tactics/auto.ml

]> matita.cs.unibo.it Git - helm.git/history - components/tactics/auto.ml

2006-10-20	Andrea Asperti	Major changes to auto, documented on the helm mailing...	blob \| commitdiff \| raw
2006-10-12	Enrico Tassi	timeout if unspecfied should be set to infinity, not...	blob \| commitdiff \| raw \| diff to current
2006-10-12	Claudio Sacerdoti...	The default for paramodulation is now back to false...	blob \| commitdiff \| raw \| diff to current
2006-10-11	Claudio Sacerdoti...	My previous commit changed the regular timeout of param...	blob \| commitdiff \| raw \| diff to current
2006-10-09	Claudio Sacerdoti...	1. applyS now uses its ~params	blob \| commitdiff \| raw \| diff to current
2006-10-09	Claudio Sacerdoti...	applyS now receives the same parameters that auto receives.	blob \| commitdiff \| raw \| diff to current
2006-10-03	Andrea Asperti	Changed auto from implicit to option and renamed a...	blob \| commitdiff \| raw \| diff to current
2006-10-02	Enrico Tassi	50 steps on goal are fine for irrat2	blob \| commitdiff \| raw \| diff to current
2006-09-29	Enrico Tassi	new version of auto that is able to prove the irrationa...	blob \| commitdiff \| raw \| diff to current
2006-09-27	Enrico Tassi	auto snapshot	blob \| commitdiff \| raw \| diff to current
2006-09-21	Enrico Tassi	auto snapshot	blob \| commitdiff \| raw \| diff to current

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