From 554193ec72d817eda4dd59681927554d0a7cc5ae Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Aug 2010 16:46:32 +0000 Subject: Reorder --- COMPATIBILITY | 36 +++++++++++++++++++----------------- 1 file changed, 19 insertions(+), 17 deletions(-) (limited to 'COMPATIBILITY') 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. - - -- cgit v1.2.3