Split download page into three parts.

1 files changed, 120 insertions, 0 deletions

diff --git a/html/devel.phtml b/html/devel.phtml
new file mode 100644
index 00000000..dea0eb22
--- /dev/null
+++ b/html/devel.phtml
@@ -0,0 +1,120 @@
+<?php  
+  require('functions.php3');
+  small_header("Proof General Development"); 
+  ?>
+
+<p>
+Here is the latest pre-release of Proof General.  It is also available
+as a complete archive for developers, to test forthcoming support for
+new proof assistants.
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="prerel">Pre-release: ProofGeneral-3.0pre991116</a></h2>
+<!-- End Warning. -->
+
+<p>
+This pre-release of Proof General may be buggy as new
+features are added and experimented with.  
+<br>
+Check the 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<?php fileshow("ProofGeneral-3.0pre991116/CHANGES","CHANGES"); ?> file
+<!-- End Warning. -->
+for a summary of changes since the last stable version, and
+the planned changes to come.
+<br>
+Please test with the current pre-release before reporting any problems
+in a pre-release.
+</p>
+
+<ul>
+<!-- WARNING!  Lines below automatically edited by makefile. -->
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.0pre991116.tar.gz") ?>
+  </li>
+  <li> Linux RPM package 
+      <?php download_link("ProofGeneral-3.0pre991116-1.noarch.rpm") ?>
+     <br>
+     The source RPM is 
+      <?php download_link("ProofGeneral-3.0pre991116-1.src.rpm","here") ?>.
+  </li>
+<!-- End Warning. -->
+</ul>
+
+<hr>
+
+
+<h2><a name="devel">Complete Archive of ProofGeneral-3.0pre991116</a></h2>
+<p>
+If you are interested in helping to develop the core of Proof General,
+we provide a complete archive of <i>all</i> the sources used to build the
+current Proof General pre-release.  The difference from the working
+version distribution above is that we include:
+</p>
+<ul>
+  <li> provisional instantiations of Proof General to new provers <br>
+	(mentioned in the 
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+  <?php fileshow("ProofGeneral-3.0pre991116/CHANGES","CHANGES"); ?> file),
+   <!-- End Warning. -->
+  </li>
+  <li> the 
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+   <?php fileshow("ProofGeneral-3.0pre991116/todo","low-level list of things to do"); ?>
+   <!-- End Warning. -->
+   and the detailed
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+   <?php fileshow("ProofGeneral-3.0pre991116/ChangeLog","ChangeLog"); ?>,
+   <!-- End Warning. -->
+ </li>
+  <li> developer's Makefile used to generate documentation files <br>
+       and the release itself from our CVS repository,  </li>
+  <li> some test files, </li>
+  <li> sources for some of the images, 
+  <li> the web pages.  
+</ul>
+<p>
+Note: there are no pre-built documentation files in the developer's
+release, because developers should have the right tools!
+</p>
+<ul>
+  <li> gzip'ed tar file: 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+      <?php download_link("ProofGeneral-3.0pre991116-devel.tar.gz") ?>
+<!-- End Warning. -->
+  </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.  But you may
+still like to check the latest
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<?php fileshow("ProofGeneral-3.0pre991116/todo","low-level to-do list"); ?>.
+<!-- End Warning. -->
+</p>
+
+<p>
+We have a mailing list for developers, at
+<a href="mailto:proofgeneral-devel@dcs.ed.ac.uk">
+<tt>proofgeneral-devel@dcs.ed.ac.uk</tt></a>.
+<br>
+To subscribe (or unsubscribe), send a message to 
+<a href="mailto:majordomo@dcs.ed.ac.uk">
+ <tt>majordomo@dcs.ed.ac.uk</tt>
+</a>
+with the words "<tt>subscribe proofgeneral-devel</tt>"
+(or "<tt>unsubscribe proofgeneral-devel"</tt>) in the message body.
+</p>
+
+<p>
+If you are interested in developing the core of Proof General,
+we can make our CVS repository accessible to you.  Please 
+<a href="feedback.phtml">ask</a>.
+</p>
+
+<?php
+   click_to_go_back();
+   footer();
+?>