1 files 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