From 91deef6b62ec00bdff4501fafdfbe0e665400e6d Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 19 Oct 2012 16:23:42 +0000
Subject: Updates for PG 4.3

---
 CHANGES        | 5 +++++
 Makefile.devel | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 6659bd5f..a5b5f060 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,11 @@ This is a summary of main changes.  For details, please see
 the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 
+* Changes of Proof General 4.3 from Proof General 4.2
+
+*** Nothing Yet!
+
+
 * Changes of Proof General 4.2 from Proof General 4.1
 
 ** Generic/misc changes
diff --git a/Makefile.devel b/Makefile.devel
index d16b242b..d32c236e 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -91,8 +91,8 @@ DEVELOPERS=\
 # The prereltag.txt is kept as a record in the distrib area
 # of the current pre-release version (currently not used explicitly 
 # anywhere for web pages/whatever).
-PRERELEASE_PREFIX=4\.2pre
-PRERELEASE_TAG=4.2pre$(shell date "+%y%m%d")
+PRERELEASE_PREFIX=4\.3pre
+PRERELEASE_TAG=4.3pre$(shell date "+%y%m%d")
 PREREL_TAG_FILE=prereltag.txt
 
 # Path to web pages in repository, used for automatically 
-- 
cgit v1.2.3