projects / helm.git / history
| 2013-08-09 | Ferruccio Guidi | - the example is now minimal so the bug is understood. | blob | commitdiff | raw |
| 2013-08-09 | Ferruccio Guidi | - the example is smaller and really self-contained ... | blob | commitdiff | raw | diff to current |
| 2013-02-28 | Ferruccio Guidi | - lambdadelta: first recursive part of preservation... | blob | commitdiff | raw | diff to current |
| 2011-10-18 | Wilmer Ricciotti | Changes in "destruct" tactic (allowing performance... | blob | commitdiff | raw | diff to current |
| 2010-12-10 | Andrea Asperti | Notation for - (clear). | blob | commitdiff | raw | diff to current |
| 2010-10-29 | Claudio Sacerdoti... | Porting to new syntax. | blob | commitdiff | raw | diff to current |
| 2010-10-29 | Claudio Sacerdoti... | Porting to new syntax. | blob | commitdiff | raw | diff to current |
| 2010-10-22 | Enrico Tassi | tentative parser patch with symbolic tactics names | blob | commitdiff | raw | diff to current |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |