diff options
| -rw-r--r-- | isa/ProofGeneral.ML | 4 | ||||
| -rw-r--r-- | isa/isa.el | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML index 4036061c..1986422d 100644 --- a/isa/ProofGeneral.ML +++ b/isa/ProofGeneral.ML @@ -156,9 +156,9 @@ in (prs_fn := (fn s => out ("\240" ^ s ^ "\241")); warning_fn := - (fn s => out ("\242" ^ (prefix_lines "###" s) ^ "\243")); + (fn s => out ("\242" ^ (prefix_lines "### " s) ^ "\243")); error_fn := - (fn s => out ("\244" ^ (prefix_lines "***" s) ^ "\245"))) + (fn s => out ("\244" ^ (prefix_lines "*** " s) ^ "\245"))) end; (* add specials to ml prompts *) @@ -168,7 +168,7 @@ no regular or easily discernable structure." proof-shell-proof-completed-regexp "No subgoals!" ;; FIXME: the next two are probably only good for NJ/SML - proof-shell-error-regexp "^.*Error:\\|^\\*\\*\\*" + proof-shell-error-regexp "^.*Error:\\|^\\364\\*\\*\\*" proof-shell-interrupt-regexp "Interrupt" ;; nothing appropriate for: proof-shell-abort-goal-regexp |