From 50bece7c25e62132bc06c3bb0261937c657319d3 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Mon, 22 Aug 2016 15:31:24 -0400
Subject: update Proof General URL

---
 doc/faq/fk.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/faq')

diff --git a/doc/faq/fk.bib b/doc/faq/fk.bib
index 4d90efcdb1..3410427dee 100644
--- a/doc/faq/fk.bib
+++ b/doc/faq/fk.bib
@@ -2171,7 +2171,7 @@ Decomposition}},
 @Misc{ProofGeneral,
   author =	 {David Aspinall},
   title =	 {Proof General},
-  note =	 {\url{http://proofgeneral.inf.ed.ac.uk/}}
+  note =	 {\url{https://proofgeneral.github.io/}}
 }
 
 
-- 
cgit v1.2.3