| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2007-12-13 | Updated. | David Aspinall |
| 2007-12-13 | Deleted file | David Aspinall |
| 2007-12-12 | Updated. | David Aspinall |
| 2007-12-12 | Added a sample file for utf8. | Pierre Courtieu |
| 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-12-07 | Print Coercions added to coq-syntax | Assia Mahboubi |
| 2007-12-05 | Corollary added to Coq starters | Assia Mahboubi |
| 2007-11-30 | coq solve tacs modified | Assia Mahboubi |
| 2007-11-26 | colouring for Reserved Notations | Assia Mahboubi |
| 2007-11-20 | removed 'by'form coq-reserved and added it to coq-solve-tactics | Assia Mahboubi |
