From 3a792f2db61e9b2fcffaac52e4d191e6ee53e2d0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 16 Apr 2004 12:10:36 +0000 Subject: Oops, another stray old URL... --- FAQ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'FAQ') diff --git a/FAQ b/FAQ index e6a845a0..f0aae0a7 100644 --- a/FAQ +++ b/FAQ @@ -218,7 +218,7 @@ A. Of course, email "proofgeneral-request@informatics.ed.ac.uk" user's and announcements list. There is also a list for developers, proofgeneral-devel - Visit http://www.proofgeneral.org/mailinglist for more details. + Visit http://proofgeneral.inf.ed.ac.uk/mailinglist for more details. ----------------------------------------------------------------- -- cgit v1.2.3