diff options
Diffstat (limited to 'hol98/hol98.el')
| -rw-r--r-- | hol98/hol98.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/hol98/hol98.el b/hol98/hol98.el index d2774915..98dce6d0 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -57,11 +57,7 @@ ;; FIXME: add optional help topic parameter to help command. ;; Have patch ready for PG 3.2, but PG 3.1 is strictly bug fix. proof-info-command "help \"hol\"" - ;; FIXME: Isabelle has introduced a mess here, and we need to fix it. - ;; See comments in proof-shell.el and proof-config.el and todo - proof-goals-display-qed-message t - proof-shell-proof-completed-regexp - "\\(.*Initial goal proved\\(.\\|\n\\)*\\)" + proof-shell-proof-completed-regexp "Initial goal proved" ;; FIXME: next one needs setting so that "urgent" messages are displayed ;; eagerly from HOL. ;; proof-shell-eager-annotation-start |