On Fri, 27 Jun 2014, Peter Lammich wrote:
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.
The first thing is to describe the starting conditions:
* Precise CPU model + memory size
* Operating system
* ML options (heap size, threads)
* JVM options (heap size)
The second thing to point the the examples that were used, and give some
hints about the concrete situation.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
