Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing output test-suite after warning for inner Requires. | 2016-08-30 | |
* | Some extra fixes in printing patterns in binders. | 2016-07-19 | |
* | Patterns in binders: printing tests | 2016-06-27 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing output test-suite after warning for inner Requires. | 2016-08-30 | |
* | Some extra fixes in printing patterns in binders. | 2016-07-19 | |
* | Patterns in binders: printing tests | 2016-06-27 |