Deleted file

1 files changed, 0 insertions, 152 deletions

diff --git a/html/develdownload.php b/html/develdownload.php
deleted file mode 100644
index 19af60f8..00000000
--- a/html/develdownload.php
+++ /dev/null
@@ -1,152 +0,0 @@
-<!-- -*- 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.5pre040207</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.5pre040207</a></h2>
-
-<p> 
-Check the 
-<!-- WARNING!  Line below automatically edited by makefile. --> 
-<?php fileshow("ProofGeneral-3.5pre040207/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.5pre040207.tar.gz") ?></td>
-</tr>
-<tr>
-<td>zip file</td>
-<td><?php download_link("ProofGeneral-3.5pre040207.zip") ?></td>
-</tr>
-<tr>
-<td>RPM package </td>
-<td><?php download_link("ProofGeneral-3.5pre040207-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.12 and with GNU
-Emacs 21.2.1.  XEmacs support is better tested, although use under
-GNU Emacs has certain advantages (e.g., nested comments!).  Please check
-<?php fileshow("ProofGeneral-3.5pre040207/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, Isabelle2003, 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.5pre040207 for developers</a></h2>
-<!-- End Warning. -->
-
-<ul>
-  <li> gzip'ed tar file: 
-<!-- WARNING!  Line below automatically edited by makefile. -->
-      <?php download_link("ProofGeneral-3.5pre040207-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.5pre040207/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();
-?>