[isabelle-dev] Remaining uses of Proof General?

[Makarius]

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