projects / helm.git / history
| 2005-06-29 | Enrico Tassi | now baseuri is needed in each file (and its redefinitio... | blob | commitdiff | raw |
| 2005-06-27 | Enrico Tassi | added autosave and * (modified feature) | blob | commitdiff | raw | diff to current |
| 2005-06-27 | Enrico Tassi | more complex | blob | commitdiff | raw | diff to current |
| 2005-06-24 | Enrico Tassi | fix | blob | commitdiff | raw | diff to current |
| 2005-06-23 | Claudio Sacerdoti... | 1. Tactic generalize ported to patterns and activated... | blob | commitdiff | raw | diff to current |
| 2005-06-17 | Enrico Tassi | uses new pattern concrete syntax | blob | commitdiff | raw | diff to current |
| 2005-06-14 | Claudio Sacerdoti... | incomplete proof completed | blob | commitdiff | raw | diff to current |
| 2005-06-09 | Claudio Sacerdoti... | intro ==> intros | blob | commitdiff | raw | diff to current |
| 2005-05-16 | Enrico Tassi | added examples | blob | commitdiff | raw | diff to current |