Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing printing of evar name in an error message of instantiate. | 2016-07-13 | |
* | Revised the Ltac trace mechanism so that trace breaking due to | 2013-02-17 | |
* | Test for non-regression of the display bug fixed in r13486. | 2010-10-03 |