| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2007-05-15 | Clarify buf hist activation. | David Aspinall | |
| 2007-05-08 | tuned Isabelle entry; | Makarius Wenzel | |
| 2007-02-28 | Updated. | David Aspinall | |
| 2006-12-11 | Update, note about Isabelle 2004 | David Aspinall | |
| 2006-09-24 | Add buffer history browsing | David Aspinall | |
| 2006-09-12 | Updated. | David Aspinall | |
| 2006-09-07 | update CHANGES. | Pierre Courtieu | |
| 2006-09-07 | Updated CHANGES. | Pierre Courtieu | |
| 2005-09-30 | Updated | David Aspinall | |
| 2005-09-15 | added note for large x-symbols; | Makarius Wenzel | |
| added proof-shell-unicode; | |||
| 2005-03-25 | Updated. | David Aspinall | |
| 2005-03-21 | Mention Stefan's patches | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |