matita.cs.unibo.it Git - helm.git/history - matitaB/components/ng_tactics/nnAuto.ml

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / matitaB / components / ng_tactics / nnAuto.ml

2011-11-21	Andrea Asperti	Passing the correct subst a metasenv when idexing local...	blob \| commitdiff \| raw
2011-11-15	matitaweb	Fixes a bug in NnAuto: printing the statistics triggere...	blob \| commitdiff \| raw \| diff to current
2011-11-15	Andrea Asperti	non-facts local candidates must be applied too in prese...	blob \| commitdiff \| raw \| diff to current
2011-11-09	Wilmer Ricciotti	Matitaweb:	blob \| commitdiff \| raw \| diff to current
2011-11-07	Andrea Asperti	Removed some dead code.	blob \| commitdiff \| raw \| diff to current
2011-11-07	Andrea Asperti	New management of justifications.	blob \| commitdiff \| raw \| diff to current
2011-11-03	Andrea Asperti	1. we compare the expected branching with the actual...	blob \| commitdiff \| raw \| diff to current
2011-10-28	Andrea Asperti	-applicative_case has been rewritten and simplified;	blob \| commitdiff \| raw \| diff to current
2011-10-20	Andrea Asperti	typos	blob \| commitdiff \| raw \| diff to current
2011-10-20	Andrea Asperti	We order alternatives according to the number of subgoa...	blob \| commitdiff \| raw \| diff to current
2011-10-10	Andrea Asperti	Ported changes amde on the main branch:	blob \| commitdiff \| raw \| diff to current
2011-09-20	Andrea Asperti	The Blob is not abstracted on the context any more.	blob \| commitdiff \| raw \| diff to current
2011-09-16	Wilmer Ricciotti	This commit patches the environment and the library...	blob \| commitdiff \| raw \| diff to current
2011-03-08	Wilmer Ricciotti	First commit with new (incomplete) disambiguation engine.	blob \| commitdiff \| raw \| diff to current
2011-02-21	Wilmer Ricciotti	fork for Matita version B	blob \| commitdiff \| raw \| diff to current

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