diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-16 16:59:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-16 16:59:26 +0000 |
commit | 8843c65ff8becb4b61c04dfa726619a97f5933b8 (patch) | |
tree | 79b740db42bfd4193d4ddef58a134fc88bf6d47b | |
parent | b6bccb73eb488f2ba69ce310324a69d8da8e226a (diff) |
More info
-rw-r--r-- | etc/proofgeneral-domain.txt | 21 |
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 |