From d47166a7652c7f689f0c89623bac5b77d81d7a59 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Dec 2001 17:36:27 +0000
Subject: Update for 3.4pre

---
 CHANGES | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index f991c940..2ea4fc57 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,7 +1,21 @@
 -*- outline -*-
 
-[ Temporarily: this devel release is currently a bug fix / tweaked 
-  version of 3.3, which will be wrapped back into a patched 3.3 shortly. ]
+* Summary of Changes for Proof General 3.4pre from 3.2
+
+** Isabelle Changes
+
+   Isabelle/Isar syntax changes.
+
+
+
+
+
+-----------------------------------------------------------------
+
+
+OLDER CHANGES
+=============
+
 
 * Summary of Changes for Proof General 3.3 from 3.2
 
-- 
cgit v1.2.3