[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent
|
From: |
Wolfgang Jenkner |
|
Subject: |
Re: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop |
|
Date: |
Sat, 05 Mar 2016 18:12:12 +0100 |
|
User-agent: |
Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.1.50 (berkeley-unix) |
On Sat, Mar 05 2016, YAMAMOTO Mitsuharu wrote:
> Anyway, the difference between 24 and 25 comes from the following
> part in generic/proof-config.el in ProofGeneral-4.3pre150313:
>
> (defcustom proof-shell-process-connection-type (if (= emacs-major-version
> 24) nil t)
> "The value of `process-connection-type' for the proof shell.
> Set non-nil for ptys, nil for pipes."
I guess the discussion in bug#6771 explains the issue.
Wolfgang