aboutsummaryrefslogtreecommitdiffhomepage
path: root/IMPORTANT
diff options
context:
space:
mode:
Diffstat (limited to 'IMPORTANT')
-rw-r--r--IMPORTANT2
1 files changed, 1 insertions, 1 deletions
diff --git a/IMPORTANT b/IMPORTANT
index 325d6f94..a597085f 100644
--- a/IMPORTANT
+++ b/IMPORTANT
@@ -3,7 +3,7 @@
new web address http://proofgeneral.inf.ed.ac.uk.
Report bugs, feedback, suggestions directly to me. It helps if you
- use an appropriate +-extension to my mail address, e.g.
+ use an appropriate "+"-extension to my mail address, e.g.
David Aspinall <da+pg-feedback@inf.ed.ac.uk>