diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 08:00:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 08:00:56 +0000 |
| commit | a35b5be37664216deb2afb2ec63009637846d9cc (patch) | |
| tree | 4538f73c11834a06d96b172ffcd12f2098d5582b /hol98/hol98.el | |
| parent | 4e409735c837314d28f96afa0a7cad9697181fc6 (diff) | |
Updated.
Diffstat (limited to 'hol98/hol98.el')
| -rw-r--r-- | hol98/hol98.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hol98/hol98.el b/hol98/hol98.el index b6cf598b..9990b600 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -62,6 +62,8 @@ ;; proof-shell-eager-annotation-start proof-find-theorems-command "DB.match [] (%s);" + proof-forget-id-command ";" ;; vacuous: but empty string doesn't give + ;; new prompt ;; 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 |