|
From: | John Wiegley |
Subject: | bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop |
Date: | Fri, 04 Mar 2016 11:55:41 -0800 |
User-agent: | Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) |
Clément, have you seen this bug on your side? Is it possible that this only happens on OS X? -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
[Prev in Thread] | Current Thread | [Next in Thread] |