Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Test for bug #4269. | 2015-09-15 | |
* | Update test-suite after 518049fe7. | 2015-09-03 | |
* | Fixing output test-suite. | 2014-07-21 | |
* | test-suite: opaque term -> opaque proof | 2014-02-28 | |
* | Print logical name rather than path (thus allowing reproducible tests). | 2013-12-02 | |
* | Fixing some tests from the test-suite. | 2013-09-03 | |
* | First attempt at making Print Assumption compatible with opaque modules (fix ... | 2011-10-25 |