diff options
| author | David Aspinall | 2007-12-10 10:33:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-10 10:33:31 +0000 |
| commit | a55aa8dcc7944495690755ee32756bd04a187c76 (patch) | |
| tree | 31747b142407d8383fa970b3c667657cb01e3800 | |
| parent | 4d2902e4493a778889100a0d4c0c03a42ceebedf (diff) | |
Shorten tooltip
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 4e12f48c..d7919f19 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -756,7 +756,7 @@ If a function, it should return the command string to insert." (lockedend "Goto Locked End" nil t) (find "Find Theorems" "Find theorems" t proof-find-theorems-command) (command "Issue Command" "Issue a non-scripting command" t) - (interrupt "Interrupt Prover" "Interrupt the proof assistant (warning: may break synchronization)" t) + (interrupt "Interrupt Prover" "Interrupt the proof assistant" t) (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t) (visibility "Toggle Visibility" nil t) ; PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Help anyway |