diff options
| author | Pierre Courtieu | 2005-11-07 23:02:59 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2005-11-07 23:02:59 +0000 |
| commit | 7d6a6c6c6b8ccbcb0b83a843d2854406c73551d7 (patch) | |
| tree | 4353a1c554d4225171d8cebfb9689223e32f66e7 /generic | |
| parent | 2c70e6f34a3f794feaebd44f42e367e794127a6e (diff) | |
added match...with automatic building from atype name.
Had to correct a bug in proof-shell.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index acb70b7e..62f61ddd 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1953,10 +1953,8 @@ string instead. Errors are not supressed and will result in a display as usual, unless NOERROR is non-nil." (setq proof-shell-no-response-display t) - (setq proof-shell-no-error-display t) (unwind-protect (proof-shell-invisible-command cmd 'waitforit) - (setq proof-shell-no-error-display nil) (setq proof-shell-no-response-display nil)) proof-shell-last-output) |