Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/emacs crashes after typing a \<foo> s...

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

From: David Lazar <lazar6@illinois.edu>
Hi,

Isabelle/emacs unexpectedly crashes whenever I type a \<foo> symbol
like \<and> or \<lambda>. I'm left with the following output on the
terminal after the crash:

$ ./bin/isabelle emacs
Fatal error (6)Aborted

Output from strace when the crash occurs is available here:
http://paste.lisp.org/display/127155

I'm using 64-bit Isabelle2011-1 (October 2011) on Linux with Emacs 23.3.1.

Any ideas?

Thanks,
David

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

From: Peter Gammie <peteg42@gmail.com>
David,

I can get emacs 23.3.1 / PG 4.1 to crash on OS X by entering a token at the end of file. Possibly this is the bug:

http://proofgeneral.inf.ed.ac.uk/trac/ticket/318

It crashes when I type the closing '>' character.

The solution for me is to always have some context after the cursor - add "end" at the EOF and edit before that.

cheers
peter

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

From: Lars Noschinski <noschinl@in.tum.de>
If I remember correctly, an other workaround is writing \foo instead of
\<foo>.

-- Lars

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

From: David Lazar <lazar6@illinois.edu>
Adding some text to the end of the file does keep emacs from crashing.

Thanks,
David

Last updated: Apr 25 2024 at 20:15 UTC