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 /README.md | |
| 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.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |