From f4112b021f46d002aec8955a8212c6a98cba05b3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 May 2001 14:20:58 +0000 Subject: Include php file --- html/develdownload.html | 142 +----------------------------------------------- html/feedback.html | 88 +----------------------------- html/index.shtml | 2 +- 3 files changed, 3 insertions(+), 229 deletions(-) (limited to 'html') diff --git a/html/develdownload.html b/html/develdownload.html index fdd89097..1e121572 100644 --- a/html/develdownload.html +++ b/html/develdownload.html @@ -1,141 +1 @@ - - -

-NOTE: The current pre-release is the same as version 3.2. -It won't be updated with new features until 3.2 has been out for a while. -

- -

-Below is the latest pre-release of Proof General, -made available for those who wish to test the latest features or bug -fixes. For developers, this release is also available as a -complete CVS snapshot (further below). -

-

-Pre-releases of Proof General may be buggy as we add new features and -experiment with them. Nonetheless, we welcome bug reports. But -please make sure you are using the latest pre-release before -reporting problems. -

-

-Please register if you haven't done so already. -

- - - -

Manual for ProofGeneral-3.3pre010320

- -

-The manual included with the pre-release may be -updated from that of the -last stable release. -

-

-Here is the pre-release documentation: the user manual in -, - -or -, -and the new separate "adapting" manual, in -, - -or -. -

- - - -

Pre-release: ProofGeneral-3.3pre010320

- -

-This version has been tested with XEmacs version 21.1.12 and -(minimally) with FSF Emacs 20.7.1. -We recommend the use of XEmacs; use under FSF Emacs -can no longer be supported. -

-

-Check the - - file - -for a summary of changes since the last stable version, and -notes about work-in-progress. -

- - - - - - - - - - - - - - - - - -
gzip'ed tar file
zip file
RPM package
SRPM package
- - -

-For install instructions, see -the stable version download. -

- -

-

-

-

- - - -

Complete Archive of ProofGeneral-3.3pre010320 for Developers

- - -

-This archive is a snapshot from our CVS repository. -

- -

-What's the difference from the user's pre-release above? -The complete archive also includes: -

- -

-You probably don't need to download this if you're only -interested in hacking the Emacs lisp part of the program for a prover -that is currently supported. Note that there are no pre-built -documentation files in the developer's release. -

- - + diff --git a/html/feedback.html b/html/feedback.html index 36491c94..a827be79 100644 --- a/html/feedback.html +++ b/html/feedback.html @@ -1,87 +1 @@ - - -

-Please use the form below to send us comments, suggestions, -or offers to help with Proof Generl development. -
-Or send 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:
- -
-
- - -
- -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; -?> + diff --git a/html/index.shtml b/html/index.shtml index 06e59a0d..d4bdff95 100644 --- a/html/index.shtml +++ b/html/index.shtml @@ -1,3 +1,3 @@ - + -- cgit v1.2.3