From e3cb6d4d366c5211e44847edb980a8e5c071f323 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Mar 2000 05:56:53 +0000
Subject: Added menu item to switch to script buffer, C-c C-o key.

---
 isa/thy-mode.el | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit v1.2.3