diff options
| author | David Aspinall | 2000-03-10 05:56:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-10 05:56:53 +0000 |
| commit | e3cb6d4d366c5211e44847edb980a8e5c071f323 (patch) | |
| tree | 5561cf51107af3457b4dc38b930cc6855ec29eca | |
| parent | 20f916a79c8053fee8c416827cc28ac77ea994c5 (diff) | |
Added menu item to switch to script buffer, C-c C-o key.
| -rw-r--r-- | isa/thy-mode.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 854439cc..29fa8666 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -187,6 +187,7 @@ You can use the following format characters: ["Retract theory" isa-retract-thy-file :active (proof-locked-region-full-p) ] + ["Switch to script" thy-find-other-file t] ["Insert template" thy-insert-template t] ;; A couple from the toolbar that make sense here ;; (also in proof-universal-keys) |