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