From 98d13c2e0caffffb61fbb1d2d2d1ad41d585cf4f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:20:27 +0000
Subject: Missing bracket added

---
 isa/isa-thy-mode.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isa/isa-thy-mode.el b/isa/isa-thy-mode.el
index cb92adb5..f537bcb5 100644
--- a/isa/isa-thy-mode.el
+++ b/isa/isa-thy-mode.el
@@ -272,7 +272,8 @@ If LOGIC is nil, pick the first Isabelle buffer."
     (select-frame cur-frm)))
 
 (defun isa-thy-proofgeneral-send-string (logic text &optional hide)
-
+  ;; FIXME -- new function!
+  )
 
 (defun isa-thy-raise-windows ()
   "Raise windows/frames associated with Isabelle session."
-- 
cgit v1.2.3