| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-02-10 | Update README | Clément Pit--Claudel |
| 2012-04-06 | Drop support for Emacs 23.1 and earlier | David Aspinall |
| 2011-10-03 | Update dates and versions | David Aspinall |
| 2011-01-30 | Fix prover versions | David Aspinall |
| 2011-01-30 | Deprecate Emacs 22.X | David Aspinall |
| 2010-12-10 | Updated compatibility | David Aspinall |
| 2010-10-10 | Updated | David Aspinall |
| 2010-08-18 | Reorder | David Aspinall |
| 2010-08-18 | Fix wiki links | David Aspinall |
| 2010-08-17 | Bump Emacs version | David Aspinall |
| 2010-06-27 | Updated. | David Aspinall |
| 2010-03-10 | *** empty log message *** | David Aspinall |
| 2010-03-10 | *** empty log message *** | David Aspinall |
| 2010-03-10 | *** empty log message *** | David Aspinall |
| 2009-09-01 | Pointers for Mac support | David Aspinall |
| 2009-09-01 | Updates | David Aspinall |
| 2009-05-26 | Bump Emacs version | David Aspinall |
| 2009-05-26 | Updated | David Aspinall |
| 2008-07-24 | Note about Emacs.app | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-19 | Updated. | David Aspinall |
| 2008-07-18 | Mac OS: default to XSymb1.ttf; | Makarius Wenzel |
| 2008-07-10 | Updated. | David Aspinall |
| 2008-01-31 | Updated. | David Aspinall |
| 2008-01-27 | Updated. | David Aspinall |
| 2008-01-26 | Updated. | David Aspinall |
| 2008-01-15 | Updated. | David Aspinall |
| 2007-12-12 | Updated. | David Aspinall |
| 2007-12-12 | Documentation. | David Aspinall |
| 2007-12-10 | Updated. | David Aspinall |
| 2007-01-03 | Compatibility notes | David Aspinall |
