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:

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


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