diff options
| author | David Aspinall | 2000-09-26 12:18:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-26 12:18:37 +0000 |
| commit | 665793e2e5cc528af5cff6995ec9a2c072502f04 (patch) | |
| tree | c5d90597ca59ef6be981b9fbc52391bf4367ec05 /generic/proof-utils.el | |
| parent | 16a99750964033a37cf5ea5348e6cd803379948f (diff) | |
Fix Proof General web page to www.proofgeneral.org.
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 d5468be6..30807443 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -542,7 +542,7 @@ Returns non-nil if response buffer was cleared." "[ 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://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/BUGS ]"))) + http://www.proofgeneral.org/ProofGeneral/BUGS ]"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |