projects / helm.git / history
| 2004-02-12 | Ferruccio Guidi | new .depend files | blob | commitdiff | raw |
| 2004-02-05 | Stefano Zacchiroli | rebuilt | blob | commitdiff | raw | diff to current |
| 2004-02-05 | Claudio Sacerdoti... | fresh_name_generator has now also the metasenv parameter. | blob | commitdiff | raw | diff to current |
| 2004-02-05 | Claudio Sacerdoti... | mk_fresh_name moved to FreshNamesGenerator. | blob | commitdiff | raw | diff to current |
| 2004-02-04 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
| 2004-01-22 | Stefano Zacchiroli | added CicMetaSubst module for metavariable instantiatiation | blob | commitdiff | raw | diff to current |
| 2004-01-19 | Stefano Zacchiroli | added MkImplicit module for meta handling | 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 |
| 2002-04-26 | Claudio Sacerdoti... | First (very bugged) version of cic_unification committed. | blob | commitdiff | raw | diff to current |