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

Registration Form

">
Your name:
Email address:
Site name:
> Please add me to the mailing list.

Dear " . $name . ",

\n"; print "

"; print "Thank you for filling in the form. Your registration has been sent.
"; /* Next bit duplicated in mailinglist.phtml. 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.
"; } print "

\n

"; print "

\nClick "; link_root("download#prereq","here"); print " to return to the download page.

\n"; click_to_go_back(); footer(); endif; ?>