1 files changed, 151 insertions, 0 deletions
diff --git a/html/develdownload.php b/html/develdownload.php
new file mode 100644
index 00000000..d36e39b9
--- /dev/null
+++ b/html/develdownload.php
@@ -0,0 +1,151 @@
+<!-- -*- html -*- -->
+<?php  
+  require('functions.php3');
+  small_header("Proof General Development Release"); 
+  ?>
+
+
+<p>
+<a href="#prerel">Below</a> 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 
+<a href="#devel">complete CVS snapshot</a> (further below), which
+includes files not needed for the running program.
+</p>
+<p>
+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.
+</p>
+<p>
+Please <a href="register">register</a> if you haven't done so already.
+</p>
+
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="doc">Manual for ProofGeneral-3.5pre030225</a></h2>
+<!-- End Warning. -->
+<p>
+The manual included with the pre-release may be
+updated from that of the 
+<a href="doc">last stable release</a>.
+</p>
+<p>
+Here is the pre-release documentation: the user manual in
+<?php htmlshow("ProofGeneral-latest/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral-latest/doc/ProofGeneral.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral-latest/doc/ProofGeneral.pdf", "pdf") ?>,
+and the adapting manual, in
+<?php htmlshow("ProofGeneral-latest/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
+<?php download_link("ProofGeneral-latest/doc/PG-adapting.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral-latest/doc/PG-adapting.pdf", "pdf") ?>.
+</p>
+
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="prerel">Pre-release: ProofGeneral-3.5pre030225</a></h2>
+
+<p> 
+Check the 
+<!-- WARNING!  Line below automatically edited by makefile. --> 
+<?php fileshow("ProofGeneral-3.5pre030225/CHANGES","CHANGES"); ?> file 
+<!-- End Warning. --> 
+for a summary of changes since the last stable
+version, and notes about work-in-progress.  </p> 
+<table width="80%" cellspacing=8> 
+<tr><td width=150>gzip'ed tar file</td>
+<!-- WARNING!  Lines below automatically edited by makefile. -->
+<td><?php download_link("ProofGeneral-3.5pre030225.tar.gz") ?></td>
+</tr>
+<tr>
+<td>zip file</td>
+<td><?php download_link("ProofGeneral-3.5pre030225.zip") ?></td>
+</tr>
+<tr>
+<td>RPM package </td>
+<td><?php download_link("ProofGeneral-3.5pre030225-1.noarch.rpm") ?></td>
+</tr>
+<tr>
+<td>individual files</td>
+<td><a href="ProofGeneral">http access to files in development release</a>
+</tr>
+</table>
+<!-- End Warning. -->
+<p> 
+<b>Emacs versions:</b>
+This version has been tested with XEmacs version 21.4.8 and with GNU
+Emacs 21.2.1.  XEmacs support is better tested, please check
+<?php fileshow("ProofGeneral-3.5pre030225/CHANGES","CHANGES"); ?> 
+for detailed notes.  Older releases of Emacs
+<i>may</i> work, but we recommend the use of these or newer versions
+because backwards compatibility across different Emacs versions is far
+too difficult to support.  If you cannot upgrade your Emacs, consider
+using an <a href="oldrel.php">older release</a> of Proof General.
+</p> 
+<p>
+<b>Prover versions:</b>
+This version has been tested with Coq 7.4, Isabelle2002, Lego 1.3.1,
+and PhoX 0.8.
+</p>
+<b>Bundled packages:</b>
+Proof General is now bundled with several Emacs packages, to
+save the effort needed of installing them separately, and to
+solve compatibility problems.  
+This <b>includes X-Symbol</b>, so you don't need to download
+it separately any more.  If you want to override PG's preference
+for it's own packages, simply load your versions into memory
+before starting Proof General (e.g. with <tt>(require 'x-symbol)</tt>
+in your <tt>.emacs</tt> file).
+<p>
+For install instructions, see 
+the <a href="download#install">stable version download</a>.
+</p>
+
+<p>
+</p>
+<p>
+</p>
+
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="devel">CVS snapshot of ProofGeneral-3.5pre030225 for developers</a></h2>
+<!-- End Warning. -->
+
+<ul>
+  <li> gzip'ed tar file: 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+      <?php download_link("ProofGeneral-3.5pre030225-devel.tar.gz") ?>
+<!-- End Warning. -->
+  </li>
+</ul>
+<p>
+This tarball contains all of our development files, including some
+files not present in the released version of Proof General.
+Specifically:
+</p>
+<ul>
+  <li> the low-level developer's todo files 
+    (see <a href="devel#lowleveltodo">the developers page</a>)
+   and the detailed
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+   <?php fileshow("ProofGeneral-3.5pre030225/ChangeLog","ChangeLog"); ?>,
+   <!-- End Warning. -->
+ </li>
+  <li> developer's Makefile used to generate documentation files 
+       and the release itself,</li>
+  <li> test files, image source files, the web pages, and sometimes </li>
+  <li> working instantiations of Proof General for new provers. </li>
+</ul>
+<p>
+Most people don't need this.  Note that there are no pre-built
+documentation files in the developer's release (developers can
+run Make, by definition).
+</p>
+
+<?php
+   click_to_go_back();
+   footer();
+?>