Re: [isabelle] Isabelle2011 jEdit

On Wed, 16 Feb 2011, Slawomir Kolodynski wrote:

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?

Not yet.  There is indeed very little management of resources right now.

What are your hardware parameters anyway? I would expect that starting from 2 cores + 2 GB you can use the system for not too big applications.


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