From ee139bc13b1dec94c1f8e8042dcdcc740b5bf927 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 16:19:41 +0000
Subject: Set version tag for new release.

---
 html/develdownload.php | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'html/develdownload.php')

diff --git a/html/develdownload.php b/html/develdownload.php
index e285a3f9..b7155a64 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -24,7 +24,7 @@ Please <a href="register">register</a> if you haven't done so already.
 
 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-<h2><a name="doc">Manual for ProofGeneral-3.5pre030926</a></h2>
+<h2><a name="doc">Manual for ProofGeneral-3.5pre031006</a></h2>
 <!-- End Warning. -->
 <p>
 The manual included with the pre-release may be
@@ -46,27 +46,27 @@ or
 
 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-<h2><a name="prerel">Pre-release: ProofGeneral-3.5pre030926</a></h2>
+<h2><a name="prerel">Pre-release: ProofGeneral-3.5pre031006</a></h2>
 
 <p> 
 Check the 
 <!-- WARNING!  Line below automatically edited by makefile. --> 
-<?php fileshow("ProofGeneral-3.5pre030926/CHANGES","CHANGES"); ?> file 
+<?php fileshow("ProofGeneral-3.5pre031006/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.5pre030926.tar.gz") ?></td>
+<td><?php download_link("ProofGeneral-3.5pre031006.tar.gz") ?></td>
 </tr>
 <tr>
 <td>zip file</td>
-<td><?php download_link("ProofGeneral-3.5pre030926.zip") ?></td>
+<td><?php download_link("ProofGeneral-3.5pre031006.zip") ?></td>
 </tr>
 <tr>
 <td>RPM package </td>
-<td><?php download_link("ProofGeneral-3.5pre030926-1.noarch.rpm") ?></td>
+<td><?php download_link("ProofGeneral-3.5pre031006-1.noarch.rpm") ?></td>
 </tr>
 <tr>
 <td>individual files</td>
@@ -80,7 +80,7 @@ version, and notes about work-in-progress.  </p>
 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.5pre030926/CHANGES","CHANGES"); ?> 
+<?php fileshow("ProofGeneral-3.5pre031006/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
@@ -113,13 +113,13 @@ the <a href="download#install">stable version download</a>.
 
 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-<h2><a name="devel">CVS snapshot of ProofGeneral-3.5pre030926 for developers</a></h2>
+<h2><a name="devel">CVS snapshot of ProofGeneral-3.5pre031006 for developers</a></h2>
 <!-- End Warning. -->
 
 <ul>
   <li> gzip'ed tar file: 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-      <?php download_link("ProofGeneral-3.5pre030926-devel.tar.gz") ?>
+      <?php download_link("ProofGeneral-3.5pre031006-devel.tar.gz") ?>
 <!-- End Warning. -->
   </li>
 </ul>
@@ -133,7 +133,7 @@ Specifically:
     (see <a href="devel#lowleveltodo">the developers page</a>)
    and the detailed
    <!-- WARNING!  Line below automatically edited by makefile. -->
-   <?php fileshow("ProofGeneral-3.5pre030926/ChangeLog","ChangeLog"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre031006/ChangeLog","ChangeLog"); ?>,
    <!-- End Warning. -->
  </li>
   <li> developer's Makefile used to generate documentation files 
-- 
cgit v1.2.3