From 4e69c6ebde42c285f2e534d5783e812fa28e2b0b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 29 May 2001 17:45:31 +0000
Subject: Note about mailing list and registration.

---
 REGISTER | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 REGISTER

diff --git a/REGISTER b/REGISTER
new file mode 100644
index 00000000..e315a71e
--- /dev/null
+++ b/REGISTER
@@ -0,0 +1,12 @@
+Please register your use of Proof General on the web at:
+
+	  http://www.proofgeneral.org/register
+
+The information provided will only be used to help provide a case for
+support for Proof General in the future.
+
+There is also an opportunity to join the mailing list from this page.
+To add or remove yourself from the mailing list after registering, go
+to:
+  
+   	  http://www.proofgeneral.org/mailinglist
-- 
cgit v1.2.3