]>
2005-07-28 | Claudio Sacerdoti... | New tactic unfold. | blob | commitdiff | raw |
2005-07-01 | Claudio Sacerdoti... | 1. change_tac moved from PrimitiveTactics to ReductionT... | blob | commitdiff | raw | diff to current |
2005-06-30 | Claudio Sacerdoti... | Signature and concrete syntax of fold fixed. | blob | commitdiff | raw | diff to current |
2005-06-29 | Claudio Sacerdoti... | 1. new syntax for patterns: | blob | commitdiff | raw | diff to current |
2005-06-27 | Claudio Sacerdoti... | A few other tactics made available to matita. | blob | commitdiff | raw | diff to current |
2005-06-17 | Enrico Tassi | added support for goal patterns | blob | commitdiff | raw | diff to current |
2005-06-01 | Enrico Tassi | paths trough terms implemented with a nice hack :) | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |