matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_tactics/nAuto.ml

[helm.git] / helm / software / components / ng_tactics / nAuto.ml

2010-02-19	Andrea Asperti	Added an implicit parameter to branch_tac to allow...	blob \| commitdiff \| raw
2010-01-18	Andrea Asperti	Invocation of paramod	blob \| commitdiff \| raw \| diff to current
2009-12-21	Andrea Asperti	Trying to be faster.	blob \| commitdiff \| raw \| diff to current
2009-12-04	Andrea Asperti	Indexing local context for paramod.	blob \| commitdiff \| raw \| diff to current
2009-11-04	Claudio Sacerdoti...	1) sort computation undone (it used to be bugged anyway)	blob \| commitdiff \| raw \| diff to current
2009-10-30	Enrico Tassi	auto snapshot	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	better indentation	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	better indentation	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	better comments and indentation	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	use prop_only to filter instead of repeting the same...	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	better logging	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	better logging and immediate pruning of new goals when	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	auto navigates a real tree, not a flattened one	blob \| commitdiff \| raw \| diff to current
2009-10-28	Enrico Tassi	labels in group_by_tac	blob \| commitdiff \| raw \| diff to current
2009-10-21	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-21	Enrico Tassi	more printings	blob \| commitdiff \| raw \| diff to current
2009-10-21	Enrico Tassi	nauto:	blob \| commitdiff \| raw \| diff to current
2009-10-19	Claudio Sacerdoti...	Smarter implementation of instantiate to avoid re-check...	blob \| commitdiff \| raw \| diff to current
2009-10-16	Enrico Tassi	some work for auto	blob \| commitdiff \| raw \| diff to current
2009-10-11	Enrico Tassi	auto with intro	blob \| commitdiff \| raw \| diff to current
2009-10-08	Enrico Tassi	removed misleading context	blob \| commitdiff \| raw \| diff to current
2009-10-07	Enrico Tassi	removed printing	blob \| commitdiff \| raw \| diff to current
2009-10-07	Enrico Tassi	short names	blob \| commitdiff \| raw \| diff to current
2009-10-07	Enrico Tassi	auto works on the regular tactics status	blob \| commitdiff \| raw \| diff to current
2009-10-06	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-06	Enrico Tassi	nAuto W.I.P.	blob \| commitdiff \| raw \| diff to current
2009-10-05	Enrico Tassi	auto and auto_paramod are in nAuto	blob \| commitdiff \| raw \| diff to current
2009-10-05	Enrico Tassi	new file for auto	blob \| commitdiff \| raw \| diff to current

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

RSS Atom