diff options
-rw-r--r-- | CHANGES | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -4,8 +4,13 @@ Summary of Changes for Proof General 2.2 from 2.1 Generic Changes --------------- -* Toolbar has four new buttons: Show, Context, Info, Command - These invoke commands previously available on keys/menus. +* New function C-c C-f (proof-find) to invoke some prover-specific + mechanism to search for theories. + [in progress] + +* Toolbar has five new buttons (State, Context, Info, Command, + Help) which invoke commands previously available on keys/menus. + [in progress] * Toolbar enablers have been added. Buttons are automatically enabled or disabled as appropriate. |