diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:36:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:36:22 +0000 |
| commit | 75441a61e232861c4536b94ca462d3783d6c27e8 (patch) | |
| tree | f10ab2f9a94080b7d09672f839ad938da0859b58 /isa | |
| parent | ec827d606b8b1bff89d4fc894371e7911b1f2ff8 (diff) | |
Fixed error regexp
Diffstat (limited to 'isa')
| -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 |