From 0164d341b4b5c5c55f39abde040aa4c591cfcf90 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 11 Dec 2003 17:01:20 +0000 Subject: Fix domain name --- BUGS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 60c9e877..e3838253 100644 --- a/BUGS +++ b/BUGS @@ -17,8 +17,8 @@ temporary workaround. * Known Bugs and Workarounds for Proof General. -Contact: mailto:bugs@proofgeneral.org -See also: http://www.proofgeneral.org/ProofGeneral/BUGS +Contact: mailto:da+pg-bugs@inf.ed.ac.uk +See also: http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS Generic bugs are listed here, which may affect all of the supported provers. See lego/BUGS coq/BUGS, etc, for specific bug lists for each -- cgit v1.2.3