Re: [isabelle] Strange behaviour with CVS Proof General and emacs



Hi Rafal,

Does anyone else experience an emacs freeze after typing @{ in a
text {*  *} block? Typing {} and putting the @ in later works fine.

Yes!  And I've already filed a bug report a while ago:

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

I then went back to 3.7.1pre080722, which behaves a bit better.

Clemens





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