diff options
author | Erik Martin-Dorel <erik.martin-dorel@ens-lyon.org> | 2016-07-03 18:48:13 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik.martin-dorel@ens-lyon.org> | 2016-07-03 18:48:13 +0200 |
commit | 5206520035b2869bc3b51556384790032e681b72 (patch) | |
tree | 3e972360d084cf2aa11fdb30fefba6fe715fc48c | |
parent | f7f623797802a33d0b0549e68c12863a55ff8396 (diff) |
Update a link (for latest version of FAQ).
-rw-r--r-- | FAQ | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. ----------------------------------------------------------------- |