diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-09-14 15:35:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-09-14 15:35:23 +0000 |
commit | 6e7c83f5829a9de2c75a70a6b35e439995c9b653 (patch) | |
tree | dc61ff7d45abf5ab0ba576cec936eb9649ae9a9a /generic/proof-site.el | |
parent | d0ef52a9e6cc90d43728855fce2b13e173907c6d (diff) |
proof-shell-process-connection-type: try using pipes by default in Emacs 24,
to avoid Trac #453: http://proofgeneral.inf.ed.ac.uk/trac/ticket/453
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions