Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Refer to Apple's operating system as macOS | Tej Chajed | 2016-10-14 |
| | | | | | Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X. | ||
* | 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 |