[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: |
Fri, 28 Jul 2017 22:11:03 +0300 |
> Cc: 27761@debbugs.gnu.org
> From: "Charles A. Roelli" <charles@aurox.ch>
> Date: Fri, 28 Jul 2017 20:48:17 +0200
>
> Thanks. In that case, could you please bisect your local configuration
> until you find what causes the issue?
Alternatively, Denis, can I persuade you to run Emacs under GDB
(install GDB if needed)? Then I could give you instructions that
would help me understand what's going on there, and suggest a fix.
Thanks.
- bug#27761: Crash while using proof-general/company-coq on OS X, (continued)
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/20
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/20
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/21
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/21
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/07/21
- bug#27761: Crash while using proof-general/company-coq on OS X, Glenn Morris, 2017/07/24
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/07/24
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/26
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/27
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/28
- bug#27761: Crash while using proof-general/company-coq on OS X,
Eli Zaretskii <=
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/29
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/07/29
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/30
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/07/30
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/31
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/31
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/07/24
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/07/21