projects / helm.git / history
| 2004-10-22 | Andrea Asperti | ported to typed explicit subst | blob | commitdiff | raw |
| 2004-07-01 | Stefano Zacchiroli | New handling of substitution: | blob | commitdiff | raw | diff to current |
| 2004-06-18 | Claudio Sacerdoti... | Added new function compare_metasenvs. | blob | commitdiff | raw | diff to current |
| 2004-04-06 | Stefano Zacchiroli | The parser accepts terms with metavariables as statemen... | blob | commitdiff | raw | diff to current |
| 2004-02-05 | Claudio Sacerdoti... | mk_fresh_name moved to FreshNamesGenerator. | blob | commitdiff | raw | diff to current |
| 2004-01-22 | Stefano Zacchiroli | moved hard coded uris to HelmLibraryObjects | 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 |