Re: [isabelle] Isabelle/emacs crashes after typing a \<foo> symbol



Adding some text to the end of the file does keep emacs from crashing.

Thanks,
David

On Thu, Jan 19, 2012 at 1:49 AM, Peter Gammie <peteg42 at gmail.com> wrote:
> 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
>
> On 19/01/2012, at 9:26 AM, David Lazar wrote:
>
>> 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
>>
>
> --
> http://peteg.org/
>





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.