From 5206520035b2869bc3b51556384790032e681b72 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 3 Jul 2016 18:48:13 +0200 Subject: Update a link (for latest version of FAQ). --- FAQ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/FAQ b/FAQ index 92370801..0c616a51 100644 --- a/FAQ +++ b/FAQ @@ -3,7 +3,7 @@ FAQs for using/installing Proof General With thanks to the anonymous authors of questions/answers below. -For latest version, see http://proofgeneral.inf.ed.ac.uk/FAQ +For latest version, see https://github.com/ProofGeneral/PG/blob/master/FAQ Please also check the BUGS file. ----------------------------------------------------------------- -- cgit v1.2.3