projects / helm.git / history
| 2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | tree | commitdiff |
| 2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | tree | commitdiff |
| 2008-04-02 | Enrico Tassi | removed dummy rewrites | tree | commitdiff |
| 2008-03-26 | Wilmer Ricciotti | Reorganization of list library (step 1) | tree | commitdiff |
| 2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | tree | commitdiff |
| 2007-07-04 | Claudio Sacerdoti... | List.ma: added function nth (with default value in... | tree | commitdiff |
| 2007-04-10 | Enrico Tassi | set -> type | tree | commitdiff |
| 2007-04-10 | Enrico Tassi | ... | tree | commitdiff |
| 2006-09-26 | Claudio Sacerdoti... | {discriminate,injection} => destruct | tree | commitdiff |
| 2006-03-15 | Enrico Tassi | snapshot for release | tree | commitdiff |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | tree | commitdiff |