coq/ide/mac_default_accel_map, branch master The formal proof system 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)
Better handling of escape find in CoqIDE 2013-01-25T23:21:28+00:00 ppedrot 2013-01-25T23:21:28+00:00 41c25a6d99e4c6f3e7f95f751ec302720d7755d5 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16148 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16148 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide MacOS integration refresh 2012-04-27T16:43:30+00:00 pboutill 2012-04-27T16:43:30+00:00 daf719e5554e823b6540be05e48e96ac478e2865 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15254 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15254 85f007b7-540e-0410-9357-904b9bb8a0f7
Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead code that used to serve as such a long time ago. 2012-04-23T10:35:25+00:00 ppedrot 2012-04-23T10:35:25+00:00 bd18c08212cbed9877167b64e0d1484a483b3cf6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15234 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15234 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide Menubar integration in MacOS 2011-06-10T18:35:06+00:00 pboutill 2011-06-10T18:35:06+00:00 6858036c6d12d77df2da9643b04f56733428be13 Because of lablgtk issues, accel_maps can't be customized well on MacOS git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14180 85f007b7-540e-0410-9357-904b9bb8a0f7 
Because of lablgtk issues, accel_maps can't be customized well on MacOS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14180 85f007b7-540e-0410-9357-904b9bb8a0f7