From 49a1aaee705511633629709681b2fb1a7253eb05 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Sep 2001 10:21:28 +0000
Subject: Devel release is tweaked 3.3

---
 CHANGES | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 1cc8b4c0..f991c940 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,7 @@
 -*- outline -*-
 
-[ Changes file for 3.3 below.  NO CHANGES yet in this devel release ]
+[ 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.3 from 3.2
 
@@ -122,6 +123,8 @@
     This functionality is enabled with the Coq settings option 
     "Auto Compile Vos".
 
+    Whole goals output is displayed.  (Improvement suggested by
+    Robert Schneck).
 
 ** Isabelle Changes
 
-- 
cgit v1.2.3