On Fri, 6 Apr 2012, Alfio Martini wrote:
PG 4.1 (which comes with Isabelle 2011-1) crashes all the time when typing \<forall>, right after I type the right angle bracket.
Did somebody else meet the same problem?
These PG/Emacs crashes happen occasionally, in many variations over the years.
What is your OS + Emacs version? Makarius