diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-20 22:56:14 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-20 22:56:14 -0500 |
| commit | 2626ed51dc27abbdb44331542642c03e7f65ef3a (patch) | |
| tree | 0c3a70b002a2536b2772dbb88ab5eba2e5a359cb /README.md | |
| parent | d04b5721f53faa587c3fd3bfa3e0118c3f3025d4 (diff) | |
Simplify code to add to .emacs
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ Then add the following to your `.emacs`: ``` ;; Open .v files with Proof General's Coq mode -(require 'proof-site "~/.emacs.d/lisp/PG/generic/proof-site") +(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 |