New development pages added, more links

1 files changed, 24 insertions, 93 deletions

diff --git a/html/devel.phtml b/html/devel.phtml
index 4cc3ef6e..c8b9abcb 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -1,98 +1,33 @@
-<?php  
-  require('functions.php3');
-  small_header("Proof General Development"); 
-  ?>
-
-<p>
-Here is the latest pre-release of Proof General.  For developers,
-it is also available as a complete archive, including
-forthcoming support for more proof assistants.
-</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 current pre-release before
-reporting problems.
+Proof General follows an open development method.  
+<br>
+We welcome code contributions, suggestions, and bug reports, from all
+users and hackers!
 </p>
 
-<!-- WARNING!  Line below automatically edited by makefile. -->
-<h2><a name="prerel">Pre-release: ProofGeneral-3.1pre000209</a></h2>
-<!-- End Warning. -->
-
-<p>
-Check the 
-<!-- WARNING!  Line below automatically edited by makefile. -->
-<?php fileshow("ProofGeneral-3.1pre000209/CHANGES","CHANGES"); ?> file
-<!-- End Warning. -->
-for a summary of changes since the last stable version, and
-the planned changes to come.
-</p>
 <ul>
-<!-- WARNING!  Lines below automatically edited by makefile. -->
-  <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.1pre000209.tar.gz") ?>
-  </li>
-  <li> Linux RPM package 
-      <?php download_link("ProofGeneral-3.1pre000209-1.noarch.rpm") ?>
-     <br>
-     You probably don't need the 
-    <?php download_link("ProofGeneral-3.1pre000209-1.src.rpm","source RPM") ?>.
-  </li>
-<!-- End Warning. -->
+<li>
+Download the current <a href="develdownload.phtml">development release</a>.
+</li>
 </ul>
-
-
-<h2><a name="devel">Complete Archive of ProofGeneral-3.1pre000209</a></h2>
-
-<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.1pre000209-devel.tar.gz") ?>
-<!-- End Warning. -->
-  </li>
+<li>
+Read the Proof General white paper (available soon)
+</li>
 </ul>
-<p>
-What's the difference from the working version above?
-The complete archive also includes:
-</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.1pre000209/CHANGES","CHANGES"); ?> file),
-   <!-- End Warning. -->
-  </li>
-  <li> the 
-   <!-- WARNING!  Line below automatically edited by makefile. -->
-   <?php fileshow("ProofGeneral-3.1pre000209/todo","low-level list of things to do"); ?>
-   <!-- End Warning. -->
-   and the detailed
-   <!-- WARNING!  Line below automatically edited by makefile. -->
-   <?php fileshow("ProofGeneral-3.1pre000209/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.  
+<li>
+Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
+</li>
 </ul>
-<p>
-Note: there are no pre-built documentation files in the developer's
-release, because developers should have the right tools!
-</p>
-<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.1pre000209/todo","low-level to-do list"); ?>.
-<!-- End Warning. -->
-</p>
+<ul>
+<li>
+<?php hlink("feedback.phtml","Send us a message ","Feedback form")?>
+about any development issues.
+</li>
+</ul>
+
+<h2><a name="develmail">Developers Mailing List</a></h2>
 
 <p>
 We have a mailing list for developers, at
@@ -108,12 +43,8 @@ with the words "<tt>subscribe proofgeneral-devel</tt>"
 </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>.
+If you are interested in becoming an official developer of Proof
+General, we can make our CVS repository accessible to you.  Please 
+<a href="feedback.phtml">ask here</a>.
 </p>
 
-<?php
-   click_to_go_back();
-   footer();
-?>