diff options
-rw-r--r-- | html/kit | 44 | ||||
-rw-r--r-- | html/register | 110 |
2 files changed, 154 insertions, 0 deletions
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; +?> + |