[isabelle-dev] Remaining uses of Proof General?

Peter Lammich lammich at in.tum.de
Fri Jun 27 14:00:59 CEST 2014

> 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.

OK, I'll try more on my 8Gb machine ... or upgrade my machine.

> If problems happen again with 4-8 GB JVM heap, you should describe what 
> really happens, with clear experimental setup.

Giving a clear experimental setup is a real problem for errors that
appear nondeterministically.

More information about the isabelle-dev mailing list