From bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:01:50 +0000
Subject: Renamed file

---
 html/develdownload.html | 136 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 136 insertions(+)
 create mode 100644 html/develdownload.html

(limited to 'html/develdownload.html')

diff --git a/html/develdownload.html b/html/develdownload.html
new file mode 100644
index 00000000..bacdc0c9
--- /dev/null
+++ b/html/develdownload.html
@@ -0,0 +1,136 @@
+<?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 (further below)</a>.
+</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.phtml">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.2pre000928</a></h2>
+<!-- End Warning. -->
+<p>
+The manual included with the pre-release may be
+updated from that of the 
+<?php link_root("doc","last stable release") ?>.
+</p>
+<p>
+You can see the current documentation: the user manual in
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
+and the new separate "adapting" manual, in
+<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
+</p>
+
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="prerel">Pre-release: ProofGeneral-3.2pre000928</a></h2>
+
+<p>
+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.
+</p>
+<p>
+Check the 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<?php fileshow("ProofGeneral-3.2pre000928/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.2pre000928.tar.gz") ?></td>
+</tr>
+<tr>
+<td>zip file</td>
+<td><?php download_link("ProofGeneral-3.2pre000928.zip") ?></td>
+</tr>
+<tr>
+<td>RPM package </td>
+<td><?php download_link("ProofGeneral-3.2pre000928-1.noarch.rpm") ?></td>
+</tr>
+<tr>
+<td>SRPM package</td>
+<td><?php download_link("ProofGeneral-3.2pre000928-1.src.rpm","source RPM") ?></td>
+</table>
+<!-- End Warning. -->
+
+<p>
+For install instructions, see 
+the <?php link_root("download#install","stable version download") ?>.
+</p>
+
+<p>
+</p>
+<p>
+</p>
+
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="devel">Complete Archive of ProofGeneral-3.2pre000928 for Developers</a></h2>
+<!-- End Warning. -->
+
+<p>
+This archive is a snapshot from our CVS repository. 
+</p>
+<ul>
+  <li> gzip'ed tar file: 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+      <?php download_link("ProofGeneral-3.2pre000928-devel.tar.gz") ?>
+<!-- End Warning. -->
+  </li>
+</ul>
+<p>
+What's the difference from the user's pre-release above?
+The complete archive also includes:
+</p>
+<ul>
+  <li> the low-level developer's todo files 
+    (see <?php link_root("devel#lowleveltodo","the developers page") ?>)
+   and the detailed
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+   <?php fileshow("ProofGeneral-3.2pre000928/ChangeLog","ChangeLog"); ?>,
+   <!-- End Warning. -->
+ </li>
+  <li> developer's Makefile used to generate documentation files 
+       and the release itself,</li>
+  <li> test files, </li>
+  <li> image source files, </li>
+  <li> the web pages, </li>
+  <li> working instantiations of Proof General for new provers </li>
+</ul>
+<p>
+You probably <em>don't</em> 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.
+</p>
+
+<?php
+   click_to_go_back();
+   footer();
+?>
-- 
cgit v1.2.3