bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#27761: Crash while using proof-general/company-coq on OS X


From: Eli Zaretskii
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Sun, 30 Jul 2017 05:30:38 +0300

> From: Денис Редозубов <address@hidden>
> Date: Sat, 29 Jul 2017 16:03:49 -0400
> Cc: "Charles A. Roelli" <address@hidden>, Glenn Morris <address@hidden>, 
> address@hidden
> 
> 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?





reply via email to

[Prev in Thread] Current Thread [Next in Thread]