Toolbar fixes.

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index ffad6363..e4863c7e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,8 @@
 
 ** Generic Changes
 
+*** Bug fix: "next" button enabled more often.  Solaris turns off enablers.
+
 *** Menu reorganization, including new proof assistant specific menus.  
 
   Specific menus added for Coq, LEGO, Isabelle.