coq/ide/coqide/MacOS, branch master

coq/ide/coqide/MacOS, branch master The formal proof system [build] Remove leftovers of codesigning / OSX IDe infrastructure. 2021-04-19T11:44:08+00:00 Emilio Jesus Gallego Arias 2021-04-04T13:17:37+00:00 819e8a4f84bc6798b4e890090fb74a3f02626d6b This is not used anymore, and after #14122 the makefile parts for the dmg generation are not used anymore. Closes #7476 .

This is not used anymore, and after #14122 the makefile parts for the
dmg generation are not used anymore.

Closes #7476 .

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`.