diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-10 12:18:13 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-10 12:18:13 -0500 |
| commit | c2fbd46549c386d29f5cadd5094ee2f6601e27b8 (patch) | |
| tree | 6d792cad509fc6421979fa16c373590d73cf98c0 /INSTALL | |
| parent | 56d6eaf3f75b843f054eadf6a83de41230f1607c (diff) | |
Update README
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -1,3 +1,18 @@ +From GitHub +=========== + +Download and install Proof General from GitHub: + + git clone https://github.com/ProofGeneral/PG ~/.emacs.d/lisp/PG + make -C ~/.emacs.d/lisp/PG + +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") + +This should be enough. Instructions for previous releases are below. + Short Instructions for installing Proof General (details below) =============================================================== |