From 515f9da2eace774e55f76789ff7a2697358ab336 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 19 Mar 2000 06:44:31 +0000 Subject: More reliable prompt regexp --- hol98/hol98.el | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'hol98') diff --git a/hol98/hol98.el b/hol98/hol98.el index 68c7e09b..41f2f484 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -45,8 +45,10 @@ proof-assistant-home-page "http://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html" proof-shell-annotated-prompt-regexp - "^\\(> val it = () : unit\n\\)?- " - proof-shell-error-regexp "^! " + "^- " + ;; This one is nice but less reliable, I think. + ;; "\\(> val it = () : unit\n\\)?- " + proof-shell-error-regexp "^! " proof-shell-init-cmd "Help.displayLines:=3000; fun pg_repeat f 0 = () | pg_repeat f n = (f(); pg_repeat f (n-1));" @@ -63,7 +65,7 @@ ;; proof-shell-eager-annotation-start proof-find-theorems-command "DB.match [] (%s);" - ;; We must set this to use ptys since mosml doesn't flush its output + ;; We must force this to use ptys since mosml doesn't flush its output ;; (on Linux, presumably on Solaris too). proof-shell-process-connection-type t -- cgit v1.2.3