From 06f114bdc709e2ad3facfe9cd2cf58b5e5e594b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 17:47:47 +0000
Subject: Improve form

---
 html/register | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/html/register b/html/register
index 097d8441..d7723846 100644
--- a/html/register
+++ b/html/register
@@ -38,7 +38,7 @@ again, so return to <a href="download#prereq">the download page</a>.
 <?php endif; ?>
 <h2>Registration Form</h2>
 <form method=post action="<?php print $PHP_SELF . "?submit"; ?>">
-<table width="300" border="0" cellspacing="2" cellpadding="0">
+<table width="600" border="0" cellspacing="2" cellpadding="0">
 <tr>
  <td width="30%">Your name:</td>
  <td width="70%"><input type=text name="name" size="40" 
@@ -50,7 +50,7 @@ again, so return to <a href="download#prereq">the download page</a>.
 		  value="<?php echo $email;?>"></td>
 </tr>
 <tr>
- <td width="30%">Site name:</td>
+ <td width="30%">Your site name:</td>
  <td width="70%"><input type=text name="site" size="40"
 		  value="<?php echo $site;?>"></td>
 </tr>
@@ -90,12 +90,12 @@ again, so return to <a href="download#prereq">the download page</a>.
       Could be a function in functions.php3 */
 
    if ($mailinglist) {
-	$message = "subscribe proofgeneral"; 
-	mail("majordomo@dcs.ed.ac.uk",
-	     "[Web form from ~proofgen]",
+	$message = "subscribe address=$email"; 
+	mail("proofgeneral-request@informatics.ed.ac.uk",
+	     "[Web form from Proof General]",
 	     $message,
 	    "Reply-To: " . $email . "\nFrom: " . $email);
-        print "Your name has been added to the Proof General mailing list.<br>";
+        print "A subscription request has been sent for the Proof General mailing list.<br>";
    }
    print "</p>\n<p>";
 
-- 
cgit v1.2.3