Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Restore irrefutability commits. | Paul Phillips | 2012-03-20 | 1 | -0/+13 |
| | | | | This reverts commit d8ba5d091e5641553b438ef9930a6023a2709dcd. | ||||
* | Revert irrefutability commits. | Paul Phillips | 2012-03-20 | 1 | -13/+0 |
| | | | | | Temporary reversion of irrefutability commits in interests of stable milestone. Expect to restore shortly. | ||||
* | Spiced up the irrefutability tests a bit. | Paul Phillips | 2012-03-19 | 1 | -0/+13 |