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