From fda815e36b89a65929c7ebc2171ec141e4b7de18 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 15:32:50 +0000
Subject: Updated.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3395af5d..bc5d390f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3539,7 +3539,7 @@ provided in theory mode for this:
 @c This can cause confusion in the theory loader later,
 @c especially with @code{update()}.  To be safe, try to use just the Proof
 @c General interface, and report any repeatable problems to
-@c @code{isabelle@dcs.ed.ac.uk}.
+@c @code{da+pg-feedback@inf.ed.ac.uk}.
 
 @c Compared to Isamode's theory editing mode, some of the functions and key
 @c bindings for interacting with Isabelle have been removed, and two new
-- 
cgit v1.2.3