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: Mon, 24 Jul 2017 20:02:37 +0300

> From: Glenn Morris <address@hidden>
> Cc: "Charles A. Roelli" <address@hidden>,  address@hidden,  address@hidden
> Date: Mon, 24 Jul 2017 12:58:49 -0400
> 
> Is it impossible to "provide a minimal example starting from emacs -Q"
> for this issue?

I still hope it will be possible.  Alternatively, if someone catches
this in GDB, I can ask a few questions and probably understand what's
going on, the reason cannot be too complicated.

TIA





reply via email to

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