diff options
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 |