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/devel.html        | 38 +++++++++++++++++++-------------------
 html/develdownload.php | 20 ++++++++++----------
 2 files changed, 29 insertions(+), 29 deletions(-)

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 38cd5481..c25bc7af 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -10,14 +10,14 @@ users.
 <li>
 Download the latest <a href="develdownload.html">development release: 
 <!-- WARNING!  Line below automatically edited by makefile. -->
- <b>ProofGeneral-3.5pre030926</b></a>
+ <b>ProofGeneral-3.5pre031006</b></a>
 <!-- end WARNING -->
 <br>
 or <a href="ProofGeneral">browse</a> the development distribution.
  <br>
 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.
 </li>
@@ -60,7 +60,7 @@ Take a look at some Proof General <a href="projects.html">project proposals</a>.
 <li>
 Read the 
 developer's 
-<?php fileshow("ProofGeneral-3.5pre030926/etc/README.devel","README file"); ?>, 
+<?php fileshow("ProofGeneral-3.5pre031006/etc/README.devel","README file"); ?>, 
 with development hints and tips.
 </li>
 </ul>
@@ -69,7 +69,7 @@ with development hints and tips.
 <ul>
 <li>
 Read the brief list of planned 
-<?php fileshow("ProofGeneral-3.5pre030926/TODO","things to do "); ?> 
+<?php fileshow("ProofGeneral-3.5pre031006/TODO","things to do "); ?> 
 for Proof General.
 </ul>
 <ul>
@@ -77,14 +77,14 @@ for Proof General.
 <a name="lowleveltodo">See our current low-level lists of things to do</a>, 
 for the
 <!-- WARNING!  Lines below automatically edited by makefile. -->
-   <?php fileshow("ProofGeneral-3.5pre030926/todo","generic base"); ?>, 
+   <?php fileshow("ProofGeneral-3.5pre031006/todo","generic base"); ?>, 
   <br>
   and for each prover:
-   <?php fileshow("ProofGeneral-3.5pre030926/lego/todo","lego to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre030926/coq/todo","coq to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre030926/isa/todo","isa to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre030926/isar/todo","isar to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre030926/hol98/todo","hol to do"); ?>.
+   <?php fileshow("ProofGeneral-3.5pre031006/lego/todo","lego to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre031006/coq/todo","coq to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre031006/isa/todo","isa to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre031006/isar/todo","isar to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre031006/hol98/todo","hol to do"); ?>.
 <!-- end WARNING -->
 </li>
 </ul>
@@ -101,15 +101,15 @@ which can be used in other programs.
 <!-- <ul> -->
 <!-- <li> -->
 <!-- Browse source files from the current pre-release: -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-site.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-config.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-script.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-shell.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-toolbar.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-syntax.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-splash.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-easy-config.el") ?>. -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-site.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-config.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-script.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-shell.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-toolbar.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-syntax.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-splash.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre031006/generic/proof-easy-config.el") ?>. -->
 <!-- </ul> -->
 
 
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