aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/proofgeneral-domain.txt
blob: 7b5b3c483554d40555e25bb452321ccd8988afd2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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
da	      da@dcs.ed.ac.uk