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

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

bug#23233: 25.0.92; Crash after doing much work in Proof General


From: Glenn Morris
Subject: bug#23233: 25.0.92; Crash after doing much work in Proof General
Date: Wed, 07 Dec 2016 14:47:32 -0500
User-agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)

John Wiegley wrote:

> I'm reporting this in case it's something that can be gleaned from
> reading the trace. Otherwise, feel free to close and I will keep
> looking for a pattern.

Exercising that freedom. :)





reply via email to

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