diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index c7d9a1cb..61e3d040 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -688,7 +688,7 @@ or if the window is the only window of its frame." "[ When reporting a bug, please include a small test case for us to repeat it. Please also check that it is not already covered in the BUGS files that came with the distribution, or the latest versions at - http://www.proofgeneral.org/ProofGeneral/BUGS ]"))) + http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS ]"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |