coq/ide/MacOS, 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`.
Moving configuration of coqide.keys to the coqide executable. 2019-09-10T10:05:32+00:00 Hugo Herbelin 2018-09-26T20:18:00+00:00 d338a42c261287439dd6e9bc07b40a68f2a71786 






Using GTK+ PRIMARY to factorize CoqIDE keys between MacOS and others.
2019-09-10T10:04:40+00:00

Hugo Herbelin

2018-11-03T16:07:30+00:00

00603110458a40b1fe4bd4d51545a3e9b685e83c

This concerns zooming, undoing, displaying preferences.





This concerns zooming, undoing, displaying preferences.







Remove the tactic wizard, as it has not worked for several years and no one complained (fixes #10580).
2019-07-26T14:00:14+00:00

Guillaume Melquiond

2019-07-26T13:56:36+00:00

6f67b0e5ed3ea31e2a648941027b7b35f07854cd












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"







Remove fourier plugin
2018-07-17T12:15:59+00:00

Maxime Dénès

2018-06-22T11:45:03+00:00

8c43e795c772090b336c0f170a6e5dcab196125d

As stated in the manual, the fourier tactic is subsumed by lra.





As stated in the manual, the fourier tactic is subsumed by lra.







Remove unused script.
2018-04-05T16:02:11+00:00

Théo Zimmermann

2018-04-05T16:02:11+00:00

1df2f844240e8349ea4fa82519076a514edaaa0c

This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd.
This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8
and left untouched since then.





This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd.
This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8
and left untouched since then.







Update copyright headers.
2016-01-20T16:33:09+00:00

Maxime Dénès

2016-01-20T16:25:10+00:00

86f5c0cbfa64c5d0949365369529c5b607878ef8












Remove Whelp commands.
2015-02-17T21:41:26+00:00

Maxime Dénès

2015-02-17T21:41:26+00:00

a91df5fdc60977accd7937eb17b62bd551d3213a

Although these commands were never deprecated, they have been unusable for some
time now, since they send requests to an Italian server which is no longer
alive.





Although these commands were never deprecated, they have been unusable for some
time now, since they send requests to an Italian server which is no longer
alive.







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

Pierre Boutillier

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

997230709aed2b1d2f57f9ac8829991fa01e9b5c