aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/MacOS
Commit message (Expand)AuthorAge
* Make MacStore like coqide moreGravatar Pierre Boutillier2014-07-24
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22