]>
2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw |
2005-07-01 | Claudio Sacerdoti... | New syntax for patterns. | blob | commitdiff | raw | diff to current |
2005-06-30 | Claudio Sacerdoti... | 1. rewrite_* and rewrite_back_* merged into one function | blob | commitdiff | raw | diff to current |
2005-06-30 | Claudio Sacerdoti... | baseuri put back | blob | commitdiff | raw | diff to current |
2005-06-30 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2005-06-30 | Claudio Sacerdoti... | A simpler implementation of inversion that does not... | blob | commitdiff | raw | diff to current |
2005-06-29 | Enrico Tassi | now baseuri is needed in each file (and its redefinitio... | blob | commitdiff | raw | diff to current |
2005-06-23 | Claudio Sacerdoti... | Tactic discriminate activated in matita. | 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 |