From d6b9deee62185d7ae9338c8dc0b9ea1f409063fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 11:02:35 +0000
Subject: Updated

---
 CHANGES | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index a5bb26d5..c2ae629b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,12 +2,19 @@
 
 * Summary of Changes for Proof General 3.2 from 3.1
 
+----- NB: this is a pre-release of PG 3.2.  Bugs likely, please report ------ 
+
+
 
 ** Generic Changes
 
-*** Added proof assistant specific menu facility.  
+*** Proof assistant specific menus.  
+
+  Specific menus added for Coq, LEGO, Isabelle.
+
+*** Favourites: user-defined commands added proof assistant specific menu
 
-  Specific menus added for Coq, Isabelle.
+  WORK ONGOING: PRESENTLY INCOMPLETE, DO NOT REPORT!
 
 *** Proof assistant specific keymap added
 
-- 
cgit v1.2.3