projects / helm.git / history
| 2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw |
| 2005-06-29 | Enrico Tassi | now baseuri is needed in each file (and its redefinitio... | blob | commitdiff | raw | diff to current |
| 2005-06-15 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
| 2005-06-15 | Claudio Sacerdoti... | incomplete proof completed. | blob | commitdiff | raw | diff to current |
| 2005-06-08 | Claudio Sacerdoti... | Let's try to make the "let rec" construct infer its... | blob | commitdiff | raw | diff to current |
| 2005-06-08 | Claudio Sacerdoti... | Syntax for top-level "let rec" fixed. | blob | commitdiff | raw | diff to current |
| 2005-06-07 | Enrico Tassi | added test for coercions | blob | commitdiff | raw | diff to current |
| 2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | blob | commitdiff | raw |
| 2005-02-01 | Enrico Tassi | fixed coercions | blob | commitdiff | raw | diff to current |