coq/ide/Make, branch master

coq/ide/Make, 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`.

CoqIDE: a Make file to build coqidetop toploop 2015-01-15T05:57:57+00:00 Enrico Tassi 2015-01-14T18:08:37+00:00 0ee33883c790d00f5d94953fd1a95ed4fca2d5ed