| Commit message (Expand) | Author | Age |
* | 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 |
* | Updated. | David Aspinall | 2007-12-13 |
* | Deleted file | David Aspinall | 2007-12-13 |
* | 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-12 |
* | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall | 2007-12-10 |
* | Fixup some compile warnings | David Aspinall | 2007-12-09 |
* | Print Coercions added to coq-syntax | Assia Mahboubi | 2007-12-07 |
* | Corollary added to Coq starters | Assia Mahboubi | 2007-12-05 |
* | coq solve tacs modified | Assia Mahboubi | 2007-11-30 |
* | colouring for Reserved Notations | Assia Mahboubi | 2007-11-26 |
* | removed 'by'form coq-reserved and added it to coq-solve-tactics | Assia Mahboubi | 2007-11-20 |
* | adding coq-solve tactics | Assia Mahboubi | 2007-11-20 |