diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:41:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:41:11 +0000 |
| commit | 3c9c9ce420676fa6c4e69122068e2e22a6e0a8da (patch) | |
| tree | babb22acf0a133fe4021fd08ab401acc6e66c847 /etc/proofgeneral-domain.txt | |
| parent | 285c99f3db535e4531e5a48ae5cfdb80ec7ddbe6 (diff) | |
Notes about proofgeneral.org
Diffstat (limited to 'etc/proofgeneral-domain.txt')
| -rw-r--r-- | etc/proofgeneral-domain.txt | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/etc/proofgeneral-domain.txt b/etc/proofgeneral-domain.txt new file mode 100644 index 00000000..fafbf697 --- /dev/null +++ b/etc/proofgeneral-domain.txt @@ -0,0 +1,27 @@ +Notes about proofgeneral.org +---------------------------- + +Hosted by freeparking.co.uk. + +Sign up 20th Sep 2000, 2 years for £29.95 + +mail.proofgeneral.org is freeparking's mail handler +www.proofgeneral.org is zermelo.dcs.ed.ac.uk + + DNS zone: + + proofgeneral.org A 129.215.96.75 + +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 + + + + |