Re: [isabelle] Isabelle2011-1 with PG crashes



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





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