From 3c9c9ce420676fa6c4e69122068e2e22a6e0a8da Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 18:41:11 +0000
Subject: Notes about proofgeneral.org

---
 etc/proofgeneral-domain.txt | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 etc/proofgeneral-domain.txt

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
+
+
+
+
-- 
cgit v1.2.3