From ded2112d3a756669e9521bdc284fef984741957a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 18:50:33 +0000
Subject: Set version tag for new release.

---
 etc/ProofGeneral.spec  |  4 ++--
 generic/proof-site.el  |  2 +-
 html/devel.html        | 38 +++++++++++++++++++-------------------
 html/develdownload.php | 20 ++++++++++----------
 4 files changed, 32 insertions(+), 32 deletions(-)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 99d17e60..8929a8e3 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -1,12 +1,12 @@
 Summary:	Proof General, Emacs interface for Proof Assistants
 Name:		ProofGeneral
-Version:	3.5pre031006
+Version:	3.5pre040207
 Release:	1
 Group:		Applications/Editors/Emacs
 Copyright:	LFCS, University of Edinburgh
 Url:		http://www.proofgeneral.org/
 Packager:	David Aspinall <da@dcs.ed.ac.uk>
-Source:		http://www.proofgeneral.org/ProofGeneral-3.5pre031006.tar.gz
+Source:		http://www.proofgeneral.org/ProofGeneral-3.5pre040207.tar.gz
 BuildRoot:	/tmp/ProofGeneral-root
 PreReq:		/sbin/install-info
 Prefixes:	/usr/share/emacs /usr/bin /usr/share/info
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 09805378..5e826357 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -331,7 +331,7 @@ Note: to change proof assistant, you must start a new Emacs session.")
 ;; WARNING: do not edit below here 
 ;; (the next constant is set automatically, also its form is
 ;;  relied upon in proof-config.el, for proof-splash-contents)
-(defconst proof-general-version "Proof General Version 3.5pre031006. Released by da."
+(defconst proof-general-version "Proof General Version 3.5pre040207. Released by da."
  "Version string identifying Proof General release.")
 
 ;; Now define a few autoloads and basic variables.
diff --git a/html/devel.html b/html/devel.html
index 1d81dc3e..c468dc47 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.5pre031006</b></a>
+ <b>ProofGeneral-3.5pre040207</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.5pre031006/CHANGES","CHANGES"); ?> file
+<?php fileshow("ProofGeneral-3.5pre040207/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.5pre031006/etc/README.devel","README file"); ?>, 
+<?php fileshow("ProofGeneral-3.5pre040207/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.5pre031006/TODO","things to do "); ?> 
+<?php fileshow("ProofGeneral-3.5pre040207/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.5pre031006/todo","generic base"); ?>, 
+   <?php fileshow("ProofGeneral-3.5pre040207/todo","generic base"); ?>, 
   <br>
   and for each prover:
-   <?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"); ?>.
+   <?php fileshow("ProofGeneral-3.5pre040207/lego/todo","lego to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre040207/coq/todo","coq to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre040207/isa/todo","isa to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre040207/isar/todo","isar to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre040207/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.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") ?>. -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-site.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-config.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-script.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-shell.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-toolbar.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-syntax.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-splash.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-easy-config.el") ?>. -->
 <!-- </ul> -->
 
 
diff --git a/html/develdownload.php b/html/develdownload.php
index e659f197..19af60f8 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.5pre031006</a></h2>
+<h2><a name="doc">Manual for ProofGeneral-3.5pre040207</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.5pre031006</a></h2>
+<h2><a name="prerel">Pre-release: ProofGeneral-3.5pre040207</a></h2>
 
 <p> 
 Check the 
 <!-- WARNING!  Line below automatically edited by makefile. --> 
-<?php fileshow("ProofGeneral-3.5pre031006/CHANGES","CHANGES"); ?> file 
+<?php fileshow("ProofGeneral-3.5pre040207/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.5pre031006.tar.gz") ?></td>
+<td><?php download_link("ProofGeneral-3.5pre040207.tar.gz") ?></td>
 </tr>
 <tr>
 <td>zip file</td>
-<td><?php download_link("ProofGeneral-3.5pre031006.zip") ?></td>
+<td><?php download_link("ProofGeneral-3.5pre040207.zip") ?></td>
 </tr>
 <tr>
 <td>RPM package </td>
-<td><?php download_link("ProofGeneral-3.5pre031006-1.noarch.rpm") ?></td>
+<td><?php download_link("ProofGeneral-3.5pre040207-1.noarch.rpm") ?></td>
 </tr>
 <tr>
 <td>individual files</td>
@@ -79,7 +79,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.5pre031006/CHANGES","CHANGES"); ?> 
+<?php fileshow("ProofGeneral-3.5pre040207/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
@@ -112,13 +112,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.5pre031006 for developers</a></h2>
+<h2><a name="devel">CVS snapshot of ProofGeneral-3.5pre040207 for developers</a></h2>
 <!-- End Warning. -->
 
 <ul>
   <li> gzip'ed tar file: 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-      <?php download_link("ProofGeneral-3.5pre031006-devel.tar.gz") ?>
+      <?php download_link("ProofGeneral-3.5pre040207-devel.tar.gz") ?>
 <!-- End Warning. -->
   </li>
 </ul>
@@ -132,7 +132,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.5pre031006/ChangeLog","ChangeLog"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre040207/ChangeLog","ChangeLog"); ?>,
    <!-- End Warning. -->
  </li>
   <li> developer's Makefile used to generate documentation files 
-- 
cgit v1.2.3