| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-08-20 | Mention Fast Process Buffer | David Aspinall | |
| 2010-08-15 | Update. | David Aspinall | |
| 2010-08-03 | pg-protected-undo change | David Aspinall | |
| 2010-08-03 | Updated. | David Aspinall | |
| 2009-12-04 | Updated | David Aspinall | |
| 2009-10-15 | Updated | David Aspinall | |
| 2009-10-02 | Explain Unicode Tokens better | David Aspinall | |
| 2009-09-14 | Updated | David Aspinall | |
| 2009-09-11 | Elaborate on new settings | David Aspinall | |
| 2009-09-09 | *** empty log message *** | David Aspinall | |
| 2009-09-09 | *** empty log message *** | David Aspinall | |
| 2009-09-08 | Updated. | David Aspinall | |
| 2009-09-08 | Update, remove proof-shell-abort-goal-regexp | David Aspinall | |
| 2009-09-06 | Updated | David Aspinall | |
| 2009-09-06 | Remove use-specials-for-fontify | David Aspinall | |
| 2009-09-06 | Update. | David Aspinall | |
| 2009-09-05 | Updated | David Aspinall | |
| 2009-09-04 | Updated | David Aspinall | |
| 2009-09-01 | Updates | David Aspinall | |
| 2009-08-13 | Change centric->centred | David Aspinall | |
| 2009-08-07 | Update | David Aspinall | |
| 2009-05-26 | Add proof state hover messages to proof script, along with useful customization. | David Aspinall | |
| 2009-05-26 | Updated | David Aspinall | |
| 2009-05-26 | Updated | David Aspinall | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-10 | Updated. | David Aspinall | |
| 2008-06-06 | Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT | Pierre Courtieu | |
| NOT FOR EMACS22. As byte position is buggy in emacs22. | |||
| 2008-02-17 | Updated. | David Aspinall | |
| 2008-02-06 | Updated. | David Aspinall | |
| 2008-02-03 | Updated. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Expand info on X-Symbol Mac | David Aspinall | |
| 2008-01-31 | updated CHANGES | Assia Mahboubi | |
| added an example file in coq/ | |||
| 2008-01-31 | Say "Partial" for this X-Symbol support | David Aspinall | |
| 2008-01-31 | Mention X-Symbol on native Mac | David Aspinall | |
| 2008-01-31 | Added Assia's contribution to ssreflect mode for coq in CHANGES. | Pierre Courtieu | |
| 2008-01-30 | Updated. | David Aspinall | |
| 2008-01-30 | Update doc on token input method. Merge README.exper. | David Aspinall | |
| 2008-01-29 | Comment location for tokens/maths menu. | David Aspinall | |
| 2008-01-28 | Mention Unicode Tokens and undo in read-only region. | David Aspinall | |
| 2008-01-17 | Updated. | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2007-12-14 | Updated. | David Aspinall | |
| 2007-12-13 | Updated. | David Aspinall | |
| 2007-12-12 | Additions for maths menu | David Aspinall | |
| 2007-12-12 | Documentation. | David Aspinall | |
| 2007-12-12 | Updated. | David Aspinall | |
| 2007-06-13 | added information about optional "Find Theorems" form; | Makarius Wenzel | |
| 2007-05-15 | Comment on remove of proof-indent-pad-eol | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |