coq/ide/MacOS/Info.plist.template, branch master The formal proof system Move CoqIDE to its own folder 2020-06-02T16:53:33+00:00 Maxime Dénès 2020-05-16T15:07:37+00:00 33021618a06a94563d28691940f02a55bd9d358d The will make it possible to put a VsCoq toplevel in `ide/vscoq`. 
The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
Update copyright years outside of headers. 2019-06-17T16:08:33+00:00 Théo Zimmermann 2019-06-06T09:22:09+00:00 ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc These were found with the following command: $ git grep "1999-" | grep -v "2019" 
These were found with the following command:
$ git grep "1999-" | grep -v "2019"
Update copyright headers. 2016-01-20T16:33:09+00:00 Maxime Dénès 2016-01-20T16:25:10+00:00 86f5c0cbfa64c5d0949365369529c5b607878ef8 






Fixup version & copyright for MacOS bundle
2015-02-13T17:33:20+00:00

Pierre Boutillier

2015-02-03T22:12:56+00:00

997230709aed2b1d2f57f9ac8829991fa01e9b5c












Make MacStore like coqide more
2014-07-24T09:35:44+00:00

Pierre Boutillier

2014-07-23T14:44:05+00:00

1774a87504945a6e8b8aa465297dce672364b8a4

including bigger icons





including bigger icons







A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle
2014-07-22T15:13:32+00:00

Pierre Boutillier

2014-07-21T13:50:20+00:00

a088d03434417e935df3c75f81a954eadbdfc2b8

The created bundle contains only coqide and gtk (no coqtop, no stdlib)





The created bundle contains only coqide and gtk (no coqtop, no stdlib)