diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-26 23:18:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-26 23:18:56 +0000 |
commit | 7e1dfbf210078ff84197e39830ce6c49041b5cd3 (patch) | |
tree | a5f1a8547c71e5e85b6a2e592820a108ffe8a109 /generic/pg-goals.el | |
parent | 3d3cce21a649451b2f4cfdc42b9ded4757fdaad1 (diff) |
proof-shell-display-output-as-response: fix to check for no-response-display,
so that proof-shell-invisible-command-invisible-result does what it says on the tin.
Diffstat (limited to 'generic/pg-goals.el')
0 files changed, 0 insertions, 0 deletions