From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/feedback.php | 89 ------------------------------------------------------- 1 file changed, 89 deletions(-) delete mode 100644 html/feedback.php (limited to 'html/feedback.php') diff --git a/html/feedback.php b/html/feedback.php deleted file mode 100644 index e599bfcd..00000000 --- a/html/feedback.php +++ /dev/null @@ -1,89 +0,0 @@ - - -

-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. -

- -
"> - - - - - - - - - - - -
From:
Subject:
- -(For us to reply, please include a proper email - address in the From box). -
-

- - -

-
-
- -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; -?> -- cgit v1.2.3