diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 16:46:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 16:46:32 +0000 |
commit | 554193ec72d817eda4dd59681927554d0a7cc5ae (patch) | |
tree | 7bd9caf900bddc3f30dc9e710a6c180d0b7445ee /COMPATIBILITY | |
parent | dccfa9059f3a73c25880b12043188eb885fa184b (diff) |
Reorder
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 36 |
1 files changed, 19 insertions, 17 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 58efe3c9..e62c2f9a 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -15,6 +15,25 @@ Maintaining compatibility across proof assistant versions, Emacs versions and operating systems is virtually impossible. In this major release ** XEmacs compatibility has been dropped ** + +Running on Mac OS X +------------------- + +For tips, please see here: + + http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnMacOSX + +We recommend the 23.2 build of GNU Emacs, which builds natively on Mac +OS X (based on the NextStep port). Binaries are available at various +websites (e.g., http://emacsformacosx.com), or you can build your own +by compiling from the FSF CVS. See the Emacs Wiki at +http://www.emacswiki.org/emacs/EmacsForMacOS for more. + +Note that Mac compatibility isn't thoroughly tested. If you discover +problems, please send a report and/or fix to the PG trac. Please +add tips to the wiki page above. + + Running on Windows ------------------ @@ -41,23 +60,6 @@ fix to the address above. -Running on Mac OS X -------------------- - -For tips, please see here: - - http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnMacOSX - -We recommend the 23.2 build of GNU Emacs, which builds natively on Mac -OS X (based on the NextStep port). Binaries are available at various -websites (e.g., http://emacsformacosx.com), or you can build your own -by compiling from the FSF CVS. See the Emacs Wiki at -http://www.emacswiki.org/emacs/EmacsForMacOS for more. - -Note that Mac compatibility isn't thoroughly tested. If you discover -problems, please send a report and/or fix to the PG trac. - - |