| Commit message (Expand) | Author | Age |
* | unicode shortcut alist: literal backslash instead of strange control sequence... | Makarius Wenzel | 2008-07-07 |
* | Remove faulty test | David Aspinall | 2008-07-05 |
* | 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-06-06 |
* | Fixed a bug in coq guessing of command line | Pierre Courtieu | 2008-05-30 |
* | Fixed a bug with abbrev table definition. | Pierre Courtieu | 2008-05-22 |
* | Fixed a bug with local variable setting. | Pierre Courtieu | 2008-05-22 |
* | Fixed a bug with coq-prog-name. | Pierre Courtieu | 2008-05-20 |
* | Small fix with response buffer scrolling. | Pierre Courtieu | 2008-04-11 |
* | fixed syntax table + thing-at-point. | Pierre Courtieu | 2008-03-05 |
* | Add undo-depth setting and default it to 200, overriding Coq's 100 default. | David Aspinall | 2008-02-17 |
* | Add mode documentation | David Aspinall | 2008-02-04 |
* | coq:cutomizable bound variable highlight (finally working) | Assia Mahboubi | 2008-02-01 |
* | 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-31 |
* | 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-30 |
* | 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-28 |
* | Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t... | David Aspinall | 2008-01-25 |
* | 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-24 |
* | Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd. | David Aspinall | 2008-01-17 |
* | Updated. | David Aspinall | 2008-01-16 |
* | 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-15 |
* | Fixed abbrev installation. + small fixes. | Pierre Courtieu | 2008-01-03 |
* | Fixed the "proof completed" regexp. | Pierre Courtieu | 2008-01-03 |
* | 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-14 |
* | 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 | 2007-12-13 |