diff options
| -rw-r--r-- | isa/isa-thy-mode.el | 3 |
1 files changed, 2 insertions, 1 deletions
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." |