From 954af91adb23aaae6203ccc228d20d7185445450 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 13 Sep 2001 15:53:41 +0000 Subject: PHP in php, html and no extn link to php --- html/develdownload | 5 ++ html/develdownload.html | 146 ++---------------------------------------------- html/feedback | 2 +- html/feedback.html | 92 ++---------------------------- html/kit | 2 +- html/kit.html | 49 ++-------------- html/kit.php | 9 ++- 7 files changed, 29 insertions(+), 276 deletions(-) create mode 100644 html/develdownload (limited to 'html') diff --git a/html/develdownload b/html/develdownload new file mode 100644 index 00000000..4c9b3b01 --- /dev/null +++ b/html/develdownload @@ -0,0 +1,5 @@ + + diff --git a/html/develdownload.html b/html/develdownload.html index 2aa4421a..4c9b3b01 100644 --- a/html/develdownload.html +++ b/html/develdownload.html @@ -1,141 +1,5 @@ - - -

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

- -

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

- -

-This version has been tested with XEmacs version 21.4 and -(minimally) with FSF Emacs 20.7.1. -We recommend the use of XEmacs; use under FSF Emacs -can no longer be properly 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
individual fileshttp access to files in development release -
- -

-NB: we no longer distribute the source RPM, since you can build -both source and "binary" RPMs direct from the tarball using -"rpm -ta". -

-

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

- -

-

-

-

- - - -

Complete Archive of ProofGeneral-3.4pre010909 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 b/html/feedback index b44ba70c..94066bcf 100644 --- a/html/feedback +++ b/html/feedback @@ -1,4 +1,4 @@ - + - -

-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/kit b/html/kit index edf6671f..d7ba8cb2 100644 --- a/html/kit +++ b/html/kit @@ -1,4 +1,4 @@ - + - -The Proof General Kit project is in an early pre-experimental stage at -the moment. If you are interested in collaborating, or have ideas -or suggestions to contribute, please send a note to -kit@proofgeneral.org - -

Planning

-Ideas for the future of Proof General are described in these papers: -

- - -

Development

-

-Not much has been started yet. -

- -But you can download the DTDs for PGIP and PGML, here: - -Comments and contributions welcomed! - - + + diff --git a/html/kit.php b/html/kit.php index 5a8d784b..4612071e 100644 --- a/html/kit.php +++ b/html/kit.php @@ -3,12 +3,15 @@ small_header("Proof General Kit"); ?> +

The Proof General Kit project is in an early pre-experimental stage at the moment. If you are interested in collaborating, or have ideas or suggestions to contribute, please send a note to kit@proofgeneral.org +

Planning

+

Ideas for the future of Proof General are described in these papers: