diff options
| author | David Aspinall | 2006-01-09 08:29:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-01-09 08:29:05 +0000 |
| commit | 755234d9672b0a3cb2ddb000066d1af25a1237c1 (patch) | |
| tree | 25bd98a4536d38a1d8390f87db2557ca98e720a8 | |
| parent | a8373ba55c11086e3d08758370a6c60af840ae55 (diff) | |
PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Help anyway
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 628b689b..fb8218db 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -739,8 +739,9 @@ If a function, it should return the command string to insert." (interrupt "Interrupt Prover" "Interrupt the proof assistant (warning: may break synchronization)" t) (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t) (visibility "Toggle Visibility" nil t) - (info nil "Show online proof assistant information" t - proof-info-command) +; PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Help anyway +; (info nil "Show online proof assistant information" t +; proof-info-command) (help nil "Proof General manual" t)) "Example value for proof-toolbar-entries. Also used to define scripting menu. This gives a bare toolbar that works for any prover, providing the |