diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 10:13:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 10:13:31 +0000 |
| commit | 4e27bf1a3f0e0babbac03377e6ed8668288f8cd0 (patch) | |
| tree | a70e605b1d772ae23afc3ba6204ace81250104d4 /COMPATIBILITY | |
| parent | 2e8bee15dec21986fffe8e74c6415ba0ebaf93f3 (diff) | |
Note about Emacs.app
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 5e6fd390..ef032027 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -61,7 +61,8 @@ Book, or copy directly to /Library/Fonts or ~/Library/Fonts. Note: Emacs.app looks set to become the future supported Mac port of GNU Emacs, and is based on GNU Emacs 23. It should work well with -this version of Proof General. +this version of Proof General, but at the time of writing the latest +binary release is not as reliable as that of Carbon Emacs. Note that Mac compatibility isn't thoroughly tested by the maintainers. If you discover problems, please send a report and/or |