From d1515c3cd62a31ba81f8f7ce80d6c0092bc5713e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 13:44:03 +0000
Subject: Got proper file from backup.

---
 html/register.phtml | 107 ++++++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 104 insertions(+), 3 deletions(-)

diff --git a/html/register.phtml b/html/register.phtml
index 42457f8d..454b9890 100644
--- a/html/register.phtml
+++ b/html/register.phtml
@@ -1,4 +1,105 @@
+<?php  
+##
+##  Proof General registration form.
+##  
+##  David Aspinall, June 1999.
+##
+##  $Id$
+##
+  require('functions.php3');
+
+  $failure= ($argv[0]=="submit" && ($name=="" || $email=="" || $site==""));
+
+  if ($argv[0] !="submit" || $failure):
+###
+### Registration form
+###
+  small_header("Proof General Registration"); 
+
+  if ($failure):
+?>
 <p>
-This link is broken.
-It will be fixed tomorrow.
-</p>
\ No newline at end of file
+  Your registration form was incomplete.  Please fill in all
+  the fields, thank-you!
+</p>
+<?php else: ?>
+<p>
+Please register your download using the form below.  
+<br> 
+The information provided will only be used to help
+provide a case for support for Proof General in the future.
+</p>
+<p>
+If you have already registered you do not need to fill in the form
+again, so return to <?php link_root("download","the download page.") ?>
+</p>
+<?php endif; ?>
+<h2>Registration Form</h2>
+<form method=post action="<?php print $PHP_SELF . "?submit"; ?>">
+<table width="300" border="0" cellspacing="2" cellpadding="0">
+<tr>
+ <td width="30%">Your name:</td>
+ <td width="70%"><input type=text name="name" size="40" 
+		  value="<?php echo $name;?>"></td>
+</tr>
+ <td width="30%">Email address:</td>
+ <td width="70%"><input type=text name="email" size="40"
+		  value="<?php echo $email;?>"></td>
+</tr>
+ <td width="30%">Site name:</td>
+ <td width="70%"><input type=text name="site" size="40"
+		  value="<?php echo $site;?>"></td>
+</tr>
+ <td width="30%"><input type=checkbox name="mailinglist"
+		  <?php if ($mailinglist) print "checked"; ?>></td>
+ <td width="70%">Please add me to the mailing list.</td>
+</table>
+<input type=submit value="Send form"> 
+</form>
+<p>
+Please check the 
+<?php fileshow("ProofGeneral/COPYING","license conditions "); ?>
+for using Proof General.
+<p>
+<?php  
+   click_to_go_back(); 
+   footer(); 
+  else:
+##
+##  Process registration
+##
+   small_header("Registration Form Sent");
+
+
+   $message = "Registration form for using Proof General" 
+	    . "\nName:\t\t " . $name
+	    . "\nEmail:\t\t " . $email
+	    . "\nSite:\t\t " . $site
+	    . "\nSubmitted:\t" . date("h:ia D jS F Y");
+   mail("da", /* "proofgen@dcs.ed.ac.uk", */
+	"[Registration form from ~proofgen]",
+	 $message);
+   
+   print "<p>Dear " . $name . ",</p>\n"; 
+   print "<p>";
+   print "Thank you for filling in the form. Your registration has been sent.<br>";
+
+   /* Next bit duplicated in mailinglist.phtml.  
+      Could be a function in functions.php3 */
+
+   if ($mailinglist) {
+	$message = "subscribe proofgeneral"; 
+	mail("da", /* "majordomo@dcs.ed.ac.uk", */
+	     "[Web form from ~proofgen]",
+	     $message,
+	    "Reply-To: " . $email . "\nFrom: " . $email);
+        print "Your name has been added to the Proof General mailing list.<br>";
+   }
+   print "</p>\n<p>";
+
+   click_to_go_back();
+  
+   footer();
+ endif;
+?>
+
-- 
cgit v1.2.3