diff options
| -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) |