Updates for new web pages, todo list.

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 242f7a3f..4fb76c9c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -23,6 +23,8 @@ Summary of Changes for Proof General 2.1
 * Improvements to Coq mode: better recognition of
   Coq syntax, support for proof-shell-restart-cmd.
 
+* Toolbar can now be switched on and off via menu.
+
 * Bug fix for templates in Isabelle theory file mode.
 
 * Bug fix for long-lines with funny characters causing