From 10f7d3927af2446baf7d90f7066a6929c75bd921 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 May 2001 14:20:22 +0000
Subject: Register and kit shortcuts

---
 html/kit      |  44 +++++++++++++++++++++++
 html/register | 110 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 154 insertions(+)
 create mode 100644 html/kit
 create mode 100644 html/register

(limited to 'html')

diff --git a/html/kit b/html/kit
new file mode 100644
index 00000000..5a8d784b
--- /dev/null
+++ b/html/kit
@@ -0,0 +1,44 @@
+<?php  
+  require('functions.php3');
+  small_header("Proof General Kit"); 
+  ?>
+
+The Proof General Kit project is in an early pre-experimental stage at
+the moment.  If you are interested in collaborating, or have ideas
+or suggestions to contribute, please send a note to
+<a href="mailto:kit@proofgeneral.org"><tt>kit@proofgeneral.org</tt></a>
+
+<h3>Planning</h3>
+Ideas for the future of Proof General are described in these papers:
+</p>
+<ul>
+<li><a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
+    <b><i>Protocols for Interactive e-Proof</i></b>.
+    Draft version, see 
+    <a href="http://zermelo.dcs.ed.ac.uk/~da/drafts/#eproof">here</a>.
+</li>
+<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
+    <b><i>Proof General Kit (white paper)</i></b>.
+    Draft version, see 
+    <a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#white">here</a>.
+</li>
+</ul>
+
+<h3>Development</h3>
+<p>
+Not much has been started yet.
+</p>
+
+But you can download the DTDs for PGIP and PGML, here:
+<ul>
+<li><?php download_link("Kit/dtd/pgip.dtd") ?>
+</li>
+<li><?php download_link("Kit/dtd/pgml.dtd") ?>
+</li>
+</ul>
+Comments and contributions welcomed!
+
+<?php
+   click_to_go_back();
+   footer();
+?>
diff --git a/html/register b/html/register
new file mode 100644
index 00000000..097d8441
--- /dev/null
+++ b/html/register
@@ -0,0 +1,110 @@
+<?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>
+  Your registration form was incomplete.  Please fill in all
+  the fields, thank-you!
+</p>
+<?php else: 
+  $mailinglist=true 
+?>
+<p>
+Please register your download using the short 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 <a href="download#prereq">the download page</a>.
+</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>
+<tr>
+ <td width="30%">Email address:</td>
+ <td width="70%"><input type=text name="email" size="40"
+		  value="<?php echo $email;?>"></td>
+</tr>
+<tr>
+ <td width="30%">Site name:</td>
+ <td width="70%"><input type=text name="site" size="40"
+		  value="<?php echo $site;?>"></td>
+</tr>
+<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>
+</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("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.html.  
+      Could be a function in functions.php3 */
+
+   if ($mailinglist) {
+	$message = "subscribe proofgeneral"; 
+	mail("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>";
+
+   print "<p>\nClick ";
+   print "<a href=\"download#prereq\">here</a>";
+   print " to return to the download page.<br></p>\n";
+   click_to_go_back();
+  
+   footer();
+ endif;
+?>
+
-- 
cgit v1.2.3