Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update copyright headers. | 2016-01-20 | |
* | Remove Whelp commands. | 2015-02-17 | |
* | 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 |