projects / helm.git / history
| 2007-11-06 | Ferruccio Guidi | new implementation of the destruct tactic, | blob | commitdiff | raw |
| 2007-10-25 | Claudio Sacerdoti... | true and false were swapped! | blob | commitdiff | raw | diff to current |
| 2007-09-24 | Wilmer Ricciotti | Last version of poplmark 1a, featuring new proof, only... | blob | commitdiff | raw | diff to current |
| 2007-09-14 | Andrea Asperti | Qualche semplificazione. | blob | commitdiff | raw | diff to current |
| 2007-09-12 | Wilmer Ricciotti | Updated, proofs are now about 750 lines. | blob | commitdiff | raw | diff to current |
| 2007-06-21 | Wilmer Ricciotti | PoplMark challenge part 1a: new, shorter version w... | blob | commitdiff | raw | diff to current |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
| 2007-04-10 | Enrico Tassi | set -> type | blob | commitdiff | raw | diff to current |
| 2007-01-18 | Wilmer Ricciotti | new version, using new tacticals | blob | commitdiff | raw | diff to current |