Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6125: Fixing remaining problems with bug #5762 and PR #1120 (clause... | 2017-11-20 | |
|\ | |||
* | | Fixing encoding in coqdoc output tests. | 2017-11-13 | |
| * | Fixing a remaining "coqdoc" problem with bug #5762 and pr #1120. | 2017-11-08 | |
|/ | |||
* | Fixing #5762 (supporting imp. args. in "where" clause of an inductive def.). | 2017-10-05 | |
* | Adding a coqdoc target to test-suite. | 2017-07-17 |