Please use the form below to send us comments, suggestions, or offers to help with Proof General development. Or simply send an email directly to the
You can also report a bug using this form, although it would be more helpful to do this from within Emacs, using the "Proof General -> Submit bug report" menu command.
Dear " . $from . ",\n"; }; print ""; print "Thank-you for sending us feedback"; if ($subject != "") { print " about " . $subject; }; print ".
\n"; print "If you provided a valid return email address, somebody from the Proof General team will acknowledge your message after it has been read."; print "
"; mail($project_feedback, "[Web Feedback Form]: " . $subject, $message, "Reply-To: " . $from . "\n"); click_to_go_back(); footer(); endif; ?>