]>
2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw |
2005-07-01 | Claudio Sacerdoti... | \vdash added | blob | commitdiff | raw | diff to current |
2005-06-27 | Claudio Sacerdoti... | New tactics. | blob | commitdiff | raw | diff to current |
2005-06-27 | Claudio Sacerdoti... | New argument (the hypothesis name) for cut. | blob | commitdiff | raw | diff to current |
2005-06-25 | Ferruccio Guidi | first working (?) version of lapply | 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-14 | Claudio Sacerdoti... | No more %% comments. | blob | commitdiff | raw | diff to current |
2005-06-14 | Claudio Sacerdoti... | typo fixed: simmetry ==> symmetry | blob | commitdiff | raw | diff to current |
2005-06-13 | Enrico Tassi | renamed | blob | commitdiff | raw | diff to current |