coq/ide/.coqiderc, branch master The formal proof system coqide: search forward 2003-04-28T18:25:53+00:00 monate 2003-04-28T18:25:53+00:00 e870066f07eb872f5e913d9819f683bea13367cf git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2003-04-24T18:08:57+00:00 monate 2003-04-24T18:08:57+00:00 2f506223d1ae39be28cc6b07960328f6e7a74d15 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3951 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3951 85f007b7-540e-0410-9357-904b9bb8a0f7
coqide: compact delete event-search start 2003-03-24T19:17:04+00:00 monate 2003-03-24T19:17:04+00:00 5217df6c2c79d4e6f7de8c926742f482223f9008 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3787 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3787 85f007b7-540e-0410-9357-904b9bb8a0f7
pour faire marcher le control-k 2003-03-24T16:18:12+00:00 letouzey 2003-03-24T16:18:12+00:00 d84551b17840a1dc4a13a84231a9bcf3bea73f2b git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3786 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3786 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2003-03-14T10:24:09+00:00 monate 2003-03-14T10:24:09+00:00 7f100ace3c803323d978debed5705b4e03898669 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3767 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3767 85f007b7-540e-0410-9357-904b9bb8a0f7
coqide: maj des bindings 2003-03-10T19:16:28+00:00 monate 2003-03-10T19:16:28+00:00 64f0fe542c3871d76eddf520b307ecd0a0634e89 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3752 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3752 85f007b7-540e-0410-9357-904b9bb8a0f7
coqide: fenetre de cmmandes . undo correct 2003-03-06T19:16:31+00:00 monate 2003-03-06T19:16:31+00:00 ff05f4ed59b3b77e6d77ae9b0cd0785f46c971a6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3747 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3747 85f007b7-540e-0410-9357-904b9bb8a0f7
ctrl-k like Emacs in coqide 2003-02-24T10:32:01+00:00 monate 2003-02-24T10:32:01+00:00 069e8967b593f43fd75ea678676ae9b958fe5fae git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3693 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3693 85f007b7-540e-0410-9357-904b9bb8a0f7
CoqIDE: robustesse / multi-buffers / menus / ... (utilisable) 2003-02-21T15:48:17+00:00 filliatr 2003-02-21T15:48:17+00:00 48a31721daa6f9008ab36cc0157a443447e3f68b git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3689 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3689 85f007b7-540e-0410-9357-904b9bb8a0f7