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



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





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