coq/ide/MacOS/default_accel_map, branch master The formal proof system 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












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







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)