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