Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Document new Hint Mode option. | 2016-06-16 | ||
* | Removing dead code and unused opens. | 2016-05-08 | ||
* | Moving Evarutil and Proofview to engine/ | 2016-03-20 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Document new Hint Mode option. | 2016-06-16 | ||
* | Removing dead code and unused opens. | 2016-05-08 | ||
* | Moving Evarutil and Proofview to engine/ | 2016-03-20 |