projects / helm.git / history
| 2007-09-08 | Enrico Tassi | better test for church numerals | blob | commitdiff | raw |
| 2007-07-18 | Enrico Tassi | fixed coercion graph print, moved coercion graph and... | blob | commitdiff | raw | diff to current |
| 2006-10-09 | Claudio Sacerdoti... | auto => auto new everywhere + minor updates to make... | blob | commitdiff | raw | diff to current |
| 2006-09-05 | Enrico Tassi | fixed coercions. composite can't occur if to funclass | blob | commitdiff | raw | diff to current |
| 2006-09-05 | Enrico Tassi | fixed includes | blob | commitdiff | raw | diff to current |
| 2006-09-04 | Enrico Tassi | BIG FAT COMMIT REGARDING COERCIONS: | blob | commitdiff | raw | diff to current |
| 2006-07-10 | Enrico Tassi | - cheanges for the new coercion stuff (including the... | blob | commitdiff | raw | diff to current |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |