projects / helm.git / history
| 2005-11-30 | Claudio Sacerdoti... | coercGraph.ml* moved from cic_unification to library | blob | commitdiff | raw |
| 2005-10-25 | Claudio Sacerdoti... | Every exception that used to have type string is now... | blob | commitdiff | raw |
| 2005-10-17 | Enrico Tassi | added coercions to Prod | blob | commitdiff | raw | diff to current |
| 2005-06-07 | Enrico Tassi | added support for coercions | blob | commitdiff | raw | diff to current |
| 2005-04-27 | Stefano Zacchiroli | merged changes from the svn fork by me and Enrico | blob | commitdiff | raw | diff to current |
| 2005-02-01 | Enrico Tassi | fix in the coercions list generation and aded a functio... | blob | commitdiff | raw | diff to current |
| 2005-01-19 | Enrico Tassi | Added coercion handling module | blob | commitdiff | raw | diff to current |