| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-11-15 | Summary: New indentation code using SMIE | Stefan Monnier |
| 2010-11-03 | Updated. | David Aspinall |
| 2010-10-13 | Update for config changes. | David Aspinall |
| 2010-10-11 | proof-use-parser-cache=t default | David Aspinall |
| 2010-10-10 | Clarify Emacs 22 version | David Aspinall |
| 2010-10-10 | Support Emacs 23.1+ only. | David Aspinall |
| 2010-10-01 | Document query identifier | David Aspinall |
| 2010-10-01 | proof-script-command-separator: removed (always a space) | David Aspinall |
| 2010-09-21 | Add Document Centred command. Adjust for new menu layout. | David Aspinall |
| 2010-09-09 | Fixed the cleaning of goals buffer when proof completed | Pierre Courtieu |
| 2010-09-09 | filled CHANGES a bit more precisely. | Pierre Courtieu |
| 2010-09-09 | Fixed small bugs in indentation. | Pierre Courtieu |
| 2010-09-01 | Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp | Pierre Courtieu |
| 2010-08-27 | Updated | David Aspinall |
| 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 |
| 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 |
| 2008-01-31 | Say "Partial" for this X-Symbol support | David Aspinall |
| 2008-01-31 | Mention X-Symbol on native Mac | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |