[isabelle-dev] Remaining uses of Proof General?
makarius at sketis.net
Fri Jun 27 13:44:40 CEST 2014
On Fri, 27 Jun 2014, Peter Lammich wrote:
> * Isabelle/jEdit seems to be quite unstable. Within one week, it
> happened several (3 or 4) times that the whole thing just became
> unresponsive, and had to be restarted to continue work. In PG, those
> things happen perhaps once in a month.
The default guess is that the JVM has too little heap space. You have
called 4 GB unreasonably large before, which is an indication that your
defaults are far too low.
If problems happen again with 4-8 GB JVM heap, you should describe what
really happens, with clear experimental setup.
More information about the isabelle-dev