projects / helm.git / history
| 2004-01-29 | Claudio Sacerdoti... | - lift added to CicMetaSubst | blob | commitdiff | raw |
| 2004-01-27 | Stefano Zacchiroli | - occur check test anticipated to the delift phase | blob | commitdiff | raw | diff to current |
| 2004-01-23 | Stefano Zacchiroli | a better error message | blob | commitdiff | raw | diff to current |
| 2004-01-22 | Stefano Zacchiroli | bugfixes, typos and the hell | blob | commitdiff | raw | diff to current |
| 2004-01-20 | Andrea Asperti | First version of refine for MutCase, still largely... | blob | commitdiff | raw | diff to current |
| 2003-12-02 | Ferruccio Guidi | sort CProp added | blob | commitdiff | raw | diff to current |
| 2003-09-05 | Claudio Sacerdoti... | Defs in context may now have an optional type (when... | blob | commitdiff | raw | diff to current |
| 2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |