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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
