Your registration form was incomplete. Please fill in all the fields, thank-you!
Please register your download using the short form below.
The information provided will only be used to help
provide a case for support for Proof General in the future.
If you have already registered you do not need to fill in the form again, so return to the download page.
";
print "Thank you for filling in the form. Your registration has been sent.
";
/* Next bit duplicated in mailinglist.html.
Could be a function in functions.php3 */
if ($mailinglist) {
$message = "subscribe address=$email";
mail("proofgeneral-request@informatics.ed.ac.uk",
"[Web form from Proof General]",
$message,
"Reply-To: " . $email . "\nFrom: " . $email);
print "A subscription request has been sent for the Proof General mailing list.
";
}
print "
"; print "
\nClick ";
print "here";
print " to return to the download page.