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

From: Eli Zaretskii <[email-masked]>
Date: Thu, 07 Apr 2016 05:41:30 +0300

> From: John Wiegley <[email-masked]>
> Cc: [email-masked]
> Date: Wed, 06 Apr 2016 14:41:22 -0700
> 
> For now, I'll keep Emacs under lldb with full debugging (which does
> make it noticeably slower).

Running under a debugger should never slow down Emacs, unless you set
breakpoints with ignore conditions.