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

2009-10-28	Enrico Tassi	better indentation	blob \| commitdiff \| raw
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