|
From: | Денис Редозубов |
Subject: | bug#27761: Crash while using proof-general/company-coq on OS X |
Date: | Sun, 30 Jul 2017 15:13:51 +0000 |
> From: Денис Редозубов <denis.redozubov@gmail.com>
> Date: Sat, 29 Jul 2017 16:03:49 -0400
> Cc: "Charles A. Roelli" <charles@aurox.ch>, Glenn Morris <rgm@gnu.org>, 27761@debbugs.gnu.org
>
> Maybe in a few days, but I'll need detailed instructions from you,
> Eli.
I'm here. Tell me when you have GDB installed, and I will provide
instructions.
> Does it work for you?
Does what work for me?
[Prev in Thread] | Current Thread | [Next in Thread] |