Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2011-1 with PG crashes

view this post on Zulip Email Gateway (Aug 18 2022 at 19:30):

From: Alfio Martini <alfio.martini@acm.org>
Dear Users,

PG 4.1 (which comes with Isabelle 2011-1) crashes all the time when typing
\<forall>, right after I type
the right angle bracket. I am using \forall (as in LaTeX) which it works
as well.

Did somebody else meet the same problem?

Best!

view this post on Zulip Email Gateway (Aug 18 2022 at 19:31):

From: Makarius <makarius@sketis.net>
These PG/Emacs crashes happen occasionally, in many variations over the
years.

What is your OS + Emacs version?

Makarius

view this post on Zulip Email Gateway (Aug 18 2022 at 19:31):

From: David Aspinall <David.Aspinall@ed.ac.uk>
Bug in Emacs 23.3 (I'm not sure exactly when it was introduced), fixed in 23.4.

http://proofgeneral.inf.ed.ac.uk/trac/ticket/318
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8915

Workaround: keep some whitespace at the end of your buffer, after the symbol you are trying to type.

Last updated: Apr 24 2024 at 04:17 UTC