|
| From: | Wolfgang Jenkner |
| Subject: | bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop |
| Date: | Sun, 06 Mar 2016 14:03:41 +0100 |
| User-agent: | Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.1.50 (berkeley-unix) |
On Sat, Mar 05 2016, Clément Pit--Claudel wrote: > Proof General includes a workaround, but isn't this still a bug? The same as bug#6771, I guess.
| [Prev in Thread] | Current Thread | [Next in Thread] |