projects / helm.git / history
| 2008-06-20 | Claudio Sacerdoti... | - partial implementation of pattern for case documented | blob | commitdiff | raw |
| 2008-06-08 | Claudio Sacerdoti... | New: pattern for elim documented. | blob | commitdiff | raw | diff to current |
| 2008-05-26 | Enrico Tassi | auto syntax updated | blob | commitdiff | raw | diff to current |
| 2008-03-20 | Claudio Sacerdoti... | New syntax for auto-related tactics and conclude/obtain. | blob | commitdiff | raw | diff to current |
| 2007-07-13 | Claudio Sacerdoti... | Last crazy commit reverted. | blob | commitdiff | raw | diff to current |
| 2007-06-06 | Enrico Tassi | added doc for compose | blob | commitdiff | raw | diff to current |
| 2007-02-26 | Ferruccio Guidi | decompose: delta-expansion of the type to eliminate... | blob | commitdiff | raw | diff to current |
| 2006-12-20 | Claudio Sacerdoti... | Tactic cases documented | blob | commitdiff | raw | diff to current |
| 2006-11-30 | Claudio Sacerdoti... | Even if automatically generated, I prefer to commit... | blob | commitdiff | raw | diff to current |