| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2011-08-25 | Change "pred" to "pure fn" in all libraries and test cases | Tim Chevalier | -1/+1 |
| 2011-08-20 | Reformat | Brian Anderson | -1/+1 |
| 2011-07-27 | Fix damage done by the pretty-printer | Marijn Haverbeke | -1/+2 |
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -4/+4 |
| 2011-07-13 | Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases. | Graydon Hoare | -1/+1 |
| 2011-06-21 | Serialize constraints in types (literal arguments still not supported) | Tim Chevalier | -1/+1 |
| 2011-05-20 | Un-XFAIL some tests that now pass. | Tim Chevalier | -1/+0 |
| 2011-05-14 | Remove xfail-boot lines from tests | Brian Anderson | -1/+0 |
| 2011-05-05 | Test cases for pred / check stuff | Tim Chevalier | -0/+1 |
| 2011-05-05 | Check well-formedness of constraints | Tim Chevalier | -0/+11 |
