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



On 19.01.2012 08:49, Peter Gammie 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.

If I remember correctly, an other workaround is writing \foo instead of \<foo>.

  -- Lars





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