diff options
author | 1999-09-22 15:43:33 +0000 | |
---|---|---|
committer | 1999-09-22 15:43:33 +0000 | |
commit | 041961bff89741daabde66a9a0f2e63feba9a4a3 (patch) | |
tree | a2d60906ddee18c2a298890481a4c318b33ef230 | |
parent | 78949001b88148ca2a048b2ee44e299a089f7fdb (diff) |
Updated
-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. |