[isabelle] Isabelle2011 jEdit



On my (probably too weak) machine when I am editing a theory file with jEdit interface the editor becomes sometimes extremely slow/non responsive. I guess all processor power goes into processing the changed document. Is there a way to temporarily disable continuous proving feature of Isabelle2011 jEdit interface? 

Thanks,

Slawekk


      





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