| Age | Commit message (Expand) | Author |
|---|
| 2008-07-07 | unicode shortcut alist: literal backslash instead of strange control sequence... | Makarius Wenzel |
| 2008-07-05 | Remove faulty test | David Aspinall |
| 2008-06-06 | Fixed example file for utf8. | 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-02-01 | coq:cutomizable bound variable highlight (finally working) | Assia Mahboubi |
| 2008-01-31 | Update versions here. | David Aspinall |
| 2008-01-31 | Updated. | 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-31 | Use proof-locate-executable so works out-of-the-box on Windows. | David Aspinall |
| 2008-01-31 | Remove CVS merge junk! | David Aspinall |
| 2008-01-31 | updated CHANGES | Assia Mahboubi |
| 2008-01-30 | coq : sorry, reverting previous buggy customization | Assia Mahboubi |
| 2008-01-30 | New files. | David Aspinall |
| 2008-01-30 | Added a boolean defcustom test to make optional the highlight of variables | Assia Mahboubi |
| 2008-01-30 | coq : changing highlight of solve, adding Export | Assia Mahboubi |
| 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-25 | Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t... | David Aspinall |
| 2008-01-24 | Remove use of proof-ass | David Aspinall |
| 2008-01-24 | Updated. | David Aspinall |
| 2008-01-24 | New files. | David Aspinall |
| 2008-01-24 | Missing paren | David Aspinall |
| 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-16 | Updated. | David Aspinall |
| 2008-01-15 | Remove coq-utf-safe | David Aspinall |
| 2008-01-15 | Deleted file | 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 | Require for defface macro | David Aspinall |
| 2007-12-14 | Fix compilation problems and rearrange startup settings for coq-prog-name,coq... | David Aspinall |
| 2007-12-14 | Remove eval-when, seems unreliable | David Aspinall |
| 2007-12-14 | Attempt to fix compile problems | David Aspinall |
| 2007-12-14 | Improve loading; these tests are not functioning yet | David Aspinall |
| 2007-12-14 | coq-goal-command-str-p: Fix suspected typo shown up by compile warning. | David Aspinall |
| 2007-12-13 | Bind coqdoc-html to C-c % w to avoid clash with help key. | David Aspinall |
| 2007-12-13 | New files. | David Aspinall |
| 2007-12-13 | Renamed file | David Aspinall |
