| Age | Commit message (Expand) | Author |
|---|
| 2009-09-10 | Fix compilation for Coq, including requires and some old/renamed settings. | David Aspinall |
| 2009-09-09 | Remove more V8 compatibility (thanks to Pierre for carefully highlighting it) | David Aspinall |
| 2009-09-08 | Remove more of 80 code | David Aspinall |
| 2009-09-08 | Simplify coq-find-and-forget and drop v80 version | David Aspinall |
| 2009-09-08 | Remove system-specific code as message before goals handled in core now. Alte... | David Aspinall |
| 2009-09-08 | Comments | David Aspinall |
| 2009-09-08 | Oops: repair hybrid output broken by two window fix! See trac #109. | David Aspinall |
| 2009-09-08 | Repair two-window working mode for when Coq doesn't produce hybrid output. | David Aspinall |
| 2009-09-07 | (C) date | David Aspinall |
| 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 |
