+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. +
+ + + ++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 +. +
+ + + ++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. +
+ ++
++
+ + + ++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.php b/html/feedback.php new file mode 100644 index 00000000..4b01ce80 --- /dev/null +++ b/html/feedback.php @@ -0,0 +1,87 @@ + + +
+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. +
+ + + +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/fileshow.php b/html/fileshow.php new file mode 100644 index 00000000..94df8538 --- /dev/null +++ b/html/fileshow.php @@ -0,0 +1,24 @@ +\n"; + /* I hope this is enough to prevent access outside cwd */ + if (substr($filename,0,1)=="." or + substr($filename,0,1)=="/" or + substr($filename,0,1)=="~") { + print "Sorry, can't show you that file!\n"; + } elseif (substr($filename,-3)==".el") { + elisp_markup($filename,"fileshow.html"); + } else { + outline_markup($filename,"fileshow.html",$expanded); + } + print "\n"; + print "