aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/MacOS
Commit message (Expand)AuthorAge
* Remove unused script.Gravatar Théo Zimmermann2018-04-05
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Remove Whelp commands.Gravatar Maxime Dénès2015-02-17
* Fixup version & copyright for MacOS bundleGravatar Pierre Boutillier2015-02-13
* Make MacStore like coqide moreGravatar Pierre Boutillier2014-07-24
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22