From c2fbd46549c386d29f5cadd5094ee2f6601e27b8 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 10 Feb 2016 12:18:13 -0500
Subject: Update README

---
 INSTALL | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 92ba16ca..31331c2f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -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)
 ===============================================================
 
-- 
cgit v1.2.3