diff options
| author | David Aspinall | 2010-08-26 23:18:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-26 23:18:56 +0000 |
| commit | 7e1dfbf210078ff84197e39830ce6c49041b5cd3 (patch) | |
| tree | a5f1a8547c71e5e85b6a2e592820a108ffe8a109 /FAQ | |
| 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 'FAQ')
0 files changed, 0 insertions, 0 deletions