diff options
author | Tej Chajed <tchajed@mit.edu> | 2016-10-14 14:16:02 -0400 |
---|---|---|
committer | Tej Chajed <tchajed@mit.edu> | 2016-10-14 14:21:29 -0400 |
commit | 168375b8fc9c24e89c63a599a38ae0686e6d4396 (patch) | |
tree | 6b0fd28fb726fbe4301de1fda3808c5add53e6c6 | |
parent | f252e201299c42f15228ee9a53e62614912a003d (diff) |
Refer to Apple's operating system as macOS
Starting with the latest version (10.12 "Sierra"), the operating system
is called macOS rather than Mac OS X.
-rw-r--r-- | COMPATIBILITY | 8 | ||||
-rw-r--r-- | README.md | 2 |
2 files changed, 5 insertions, 5 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 4bf5de0b..e2345a99 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -15,20 +15,20 @@ See below for notes about other operating systems. In the major 4.0 release ** XEmacs compatibility was dropped ** -Running on Mac OS X +Running on macOS ------------------- For tips, please see here: http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnMacOSX -We recommend the 24.5 build of GNU Emacs, which builds natively on Mac -OS X (based on the NextStep port). Binaries are available at various +We recommend the 24.5 build of GNU Emacs, which builds natively on macOS +(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 +Note that macOS compatibility isn't thoroughly tested. If you discover problems, please send a report and/or fix to the PG tracker. Please add tips to the wiki page above. @@ -25,7 +25,7 @@ Then add the following to your `.emacs`: (load "~/.emacs.d/lisp/PG/generic/proof-site") ``` -If Proof General complains about a version mismatch, make sure that the shell's `emacs` is indeed your usual Emacs. If not, run the Makefile again with an explicit path to Emacs. On Mac in particular you'll probably need something like +If Proof General complains about a version mismatch, make sure that the shell's `emacs` is indeed your usual Emacs. If not, run the Makefile again with an explicit path to Emacs. On macOS in particular you'll probably need something like ```sh make clean; make EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs |