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