diff options
| author | David Aspinall | 1998-09-23 11:20:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:20:27 +0000 |
| commit | 98d13c2e0caffffb61fbb1d2d2d1ad41d585cf4f (patch) | |
| tree | af290a7f34342f4a2da7f504511435705174bbb8 | |
| parent | 77edfdcacd444e363715e65196d810fdfbbbcff2 (diff) | |
Missing bracket added
| -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." |