diff options
| author | David Aspinall | 2002-08-09 10:30:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-09 10:30:01 +0000 |
| commit | 9da815dc2e3adcc3e806ae53ee9b5622fe7a0236 (patch) | |
| tree | f31d2ffcb9ef0d978c71290a1724d491ce8ff642 /generic/proof-config.el | |
| parent | b9bcf5abd27918af6142e54af7045779d4703198 (diff) | |
Add menu entry for toggling visibility
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 9e85b866..33aac0d1 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -722,6 +722,7 @@ If a function, it should return the command string to insert." 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) + (visibility "Toggle Visibility" nil t) (info nil "Show online proof assistant information" t proof-info-command) (help nil "Proof General manual" t)) |