| Age | Commit message (Expand) | Author |
|---|
| 2009-09-06 | Remove proof-shell-wakeup-char, proof-shell-prompt-pattern. | David Aspinall |
| 2009-09-05 | replace-in-string-> replace-regexp-in-string | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-09-04 | Remove proof-no-command | David Aspinall |
| 2009-08-31 | Made customizable holes mode completion in abbreviations. | Pierre Courtieu |
| 2009-08-19 | *** empty log message *** | David Aspinall |
| 2009-08-14 | Rename proof-shell-process-output -> proof-shell-classify-output | David Aspinall |
| 2009-07-30 | Remove asterisks from docstrings of pacustoms (will appear in menus now) | David Aspinall |
| 2009-05-27 | Cleanup more Emacs compatibility | David Aspinall |
| 2009-04-16 | fixed a bug with region-exists-p not defined in some emacsen. | Pierre Courtieu |
| 2009-03-17 | fixed a bad interaction with Coq -R option | Assia Mahboubi |
| 2008-10-02 | Fixing region access for emacs <= 22. | Pierre Courtieu |
| 2008-07-24 | Fixed the bug with coq-guess-command-line. | Pierre Courtieu |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-24 | Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233 | David Aspinall |
| 2008-07-21 | Changed the main menu of coq. Changed a shortcut for holes. | Pierre Courtieu |
| 2008-07-21 | todo added fo coq. | Pierre Courtieu |
| 2008-06-06 | Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT | Pierre Courtieu |
| 2008-06-06 | Raised coq undo stack size. | Pierre Courtieu |
| 2008-05-30 | Fixed a bug in coq guessing of command line | Pierre Courtieu |
| 2008-05-22 | Fixed a bug with abbrev table definition. | Pierre Courtieu |
| 2008-05-22 | Fixed a bug with local variable setting. | Pierre Courtieu |
| 2008-05-20 | Fixed a bug with coq-prog-name. | Pierre Courtieu |
| 2008-04-11 | Small fix with response buffer scrolling. | Pierre Courtieu |
| 2008-03-05 | fixed syntax table + thing-at-point. | Pierre Courtieu |
| 2008-02-17 | Add undo-depth setting and default it to 200, overriding Coq's 100 default. | David Aspinall |
| 2008-02-04 | Add mode documentation | David Aspinall |
| 2008-01-31 | Revert last change, shell-command-to-string gives error when called | David Aspinall |
| 2008-01-31 | Use coq-prog-name when looking for library, not hard coded coqtop | David Aspinall |
| 2008-01-28 | Added displaying of the number of goals in the modeline. | Pierre Courtieu |
| 2008-01-28 | Fixed indentation and goal display. | Pierre Courtieu |
| 2008-01-28 | Fixed a problem with a wrong side effect on syntax databases (when | Pierre Courtieu |
| 2008-01-24 | Fixes and cleanups for coq-indent-line, see Trac #172 | David Aspinall |
| 2008-01-17 | Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd. | David Aspinall |
| 2008-01-15 | Remove coq-utf-safe | David Aspinall |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall |
| 2008-01-03 | Fixed abbrev installation. + small fixes. | Pierre Courtieu |
| 2008-01-03 | Fixed the "proof completed" regexp. | Pierre Courtieu |
| 2007-12-14 | Fix compilation problems and rearrange startup settings for coq-prog-name,coq... | David Aspinall |
| 2007-12-14 | Attempt to fix compile problems | David Aspinall |
| 2007-12-12 | Compatibility with coq trunk where some special symbols are removed. | Pierre Courtieu |
| 2007-12-10 | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall |
| 2007-12-09 | Fixup some compile warnings | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2007-05-10 | Fixed prompt regexp. | Pierre Courtieu |
| 2007-05-10 | Never use special chars with >= coq-8.1. | Pierre Courtieu |
| 2007-05-10 | Fixed coq prog persistent setting. | Pierre Courtieu |
| 2007-04-26 | Fixing auto shrink in coq three window mode, to avoid window | Pierre Courtieu |
| 2007-04-25 | Small fixes. | Pierre Courtieu |
| 2007-04-23 | Fixed bug 111. Scroll response window to see goal and as much | Pierre Courtieu |
