From a84bad55c6b856f18cc1d8a36f44353f31d40aac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 16:48:52 +0000
Subject: Other usability improvements

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES b/CHANGES
index 00e0eba8..20017bb9 100644
--- a/CHANGES
+++ b/CHANGES
@@ -27,6 +27,7 @@ Summary of Changes for Proof General 2.1
   Coq syntax, support for proof-shell-restart-cmd.
 
 * Toolbar can now be switched on and off via menu.
+  Several other usability improvements added to menus.
 
 * Bug fixes:
    - Long-lines with funny characters causing ^G's in Solaris.
-- 
cgit v1.2.3