diff options
| author | David Aspinall | 2010-08-18 14:30:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 14:30:24 +0000 |
| commit | 41011898547c950557670c905c5d226995e49419 (patch) | |
| tree | 2698fcdbe51c51dc77c94ab97cd5580b7f3a67e0 /pgshell | |
| parent | 12f2bddc02455d4dac4973d6dd9312c2e667ef24 (diff) | |
proof-shell-process-connection-type: remove near obsolete test and text
about Solaris. Experiment using pipe instead of pty communication as
default now scomint buffer not intended for interactive input and runs
prover process directly.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions