Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update copyright headers. | 2016-01-20 | |
* | Fixup version & copyright for MacOS bundle | 2015-02-13 | |
* | Make MacStore like coqide more | 2014-07-24 | |
* | A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle | 2014-07-22 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update copyright headers. | 2016-01-20 | |
* | Fixup version & copyright for MacOS bundle | 2015-02-13 | |
* | Make MacStore like coqide more | 2014-07-24 | |
* | A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle | 2014-07-22 |