[isabelle-dev] Remaining uses of Proof General?

Makarius 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 mailing list