[isabelle] Strange behaviour with CVS Proof General and emacs



Hi,

Does anyone else experience an emacs freeze after typing @{ in a
text {*  *} block? Typing {} and putting the @ in later works fine.
I don't have any idea where it's happening, so I can't file a decent PG bug report...

I'm using the latest PG from CVS and
GNU Emacs 23.0.60.1 (x86_64-pc-linux-gnu, GTK+ Version 2.12.9)
 of 2008-05-07 on osmium, modified by Debian

I'm not sure if this is the right list to post this, but I'm sure if someone's experienced this, they're here.

Sincerely,

Rafal Kolanski.





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