From 566bc444ad7c33f66d705d3f4bf905532bb852d2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 9 Aug 2002 08:16:19 +0000 Subject: Updated. --- REGISTER | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/REGISTER b/REGISTER index e315a71e..8bcfbbf0 100644 --- a/REGISTER +++ b/REGISTER @@ -2,8 +2,8 @@ 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. +The information provided will only be used to help 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 -- cgit v1.2.3