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