aboutsummaryrefslogtreecommitdiff
path: root/FAQ
diff options
context:
space:
mode:
Diffstat (limited to 'FAQ')
-rw-r--r--FAQ2
1 files changed, 1 insertions, 1 deletions
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.
-----------------------------------------------------------------