diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |