diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:32:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:32:50 +0000 |
| commit | fda815e36b89a65929c7ebc2171ec141e4b7de18 (patch) | |
| tree | d17fb897fa48cf3e9e4f38e56de464dd9c58815b /doc/ProofGeneral.texi | |
| parent | f65abf7bebf70421c7cd990db2ab688542c6de0b (diff) | |
Updated.
Diffstat (limited to 'doc/ProofGeneral.texi')
| -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 |