From 18ebfd87cda9d7fa55903ae7bb5f4535d951785d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 8 Feb 2004 15:40:12 +0000 Subject: Fix web addresses --- CHANGES | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 3028a9cb..8112fcd4 100644 --- a/CHANGES +++ b/CHANGES @@ -1,9 +1,9 @@ -*- outline -*- ---- This is a development release of Proof General, --- ---- some features may be incomplete or buggy. Please --- ---- report any problems to support@proofgeneral.org, --- ---- thanks. Check files BUGS and /BUGS first. --- +--- This is a development release of Proof General, --- +--- some features may be incomplete or buggy. Please --- +--- report any problems to da+pg-support@inf.ed.ac.uk --- +--- thanks. Check files BUGS and /BUGS first. --- * Summary of Changes for Proof General 3.5pre from 3.4 -- cgit v1.2.3