diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-29 15:48:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-29 15:48:25 +0000 |
| commit | 051eff949801553fe88e7d35c3edc2663e9427a3 (patch) | |
| tree | 8d523a35bacfd957092fb5056ca297cb3797321d /CHANGES | |
| parent | 59fa14e009b386ef8fd792f4d5a5c33255bef8a8 (diff) | |
Mentioned proof-mouse-track-insert.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -4,6 +4,11 @@ Summary of Changes for Proof General 2.2 from 2.1 Generic Changes --------------- +* New function control-button1 (proof-mouse-track-insert) copies + individual commands (highlighted regions) from an open proof. + When a proof is closed, it behaves as mouse-track-insert + (default Emacs behaviour of control-button1). + * New function C-c C-f (proof-find) to invoke some prover-specific mechanism to search for theories. Also a new toolbar button for it. |