Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Moving bug numbers to BZ# format in the source code. | 2017-10-19 | |
* | Fix some typos. | 2015-10-13 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Moving bug numbers to BZ# format in the source code. | 2017-10-19 | |
* | Fix some typos. | 2015-10-13 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 |