aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-16 16:59:26 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-16 16:59:26 +0000
commit8843c65ff8becb4b61c04dfa726619a97f5933b8 (patch)
tree79b740db42bfd4193d4ddef58a134fc88bf6d47b
parentb6bccb73eb488f2ba69ce310324a69d8da8e226a (diff)
More info
-rw-r--r--etc/proofgeneral-domain.txt21
1 files changed, 10 insertions, 11 deletions
diff --git a/etc/proofgeneral-domain.txt b/etc/proofgeneral-domain.txt
index 7b5b3c48..0fd7abff 100644
--- a/etc/proofgeneral-domain.txt
+++ b/etc/proofgeneral-domain.txt
@@ -15,15 +15,14 @@ www.proofgeneral.org is zermelo.dcs.ed.ac.uk
Email aliases:
--------------
-support proofgen@dcs.ed.ac.uk
-feedback proofgen@dcs.ed.ac.uk
-bugs proofgen@dcs.ed.ac.uk
-users proofgeneral@dcs.ed.ac.uk
-devel proofgeneral-devel@dcs.ed.ac.uk
-majordomo majordomo@dcs.ed.ac.uk
-da da@dcs.ed.ac.uk
-
-
-
-
+support proofgen@informatics.ed.ac.uk
+feedback proofgen@informatics.ed.ac.uk
+bugs proofgen@informatics.ed.ac.uk
+eeproof proofgen@informatics.ed.ac.uk
+da David.Aspinall@ed.ac.uk
+
+users proofgeneral@informatics.ed.ac.uk
+ http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral
+devel proofgeneral-devel@informatics.ed.ac.uk
+ http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel