[isabelle-dev] Duplicate theory??
makarius at sketis.net
Mon Apr 8 19:59:42 CEST 2019
On 08/04/2019 13:12, Lawrence Paulson wrote:
>> What about your ~/.isabelle/etc/settings? Is there an init_component in there with afp-devel?
> Here’s the full file:
Just some side-remarks on that:
> # This increases the JVM heap size to 8GB. From Makarius’s email dated 2017-09-22
> JEDIT_JAVA_OPTIONS64="-Xms2048m -Xmx8192m -Xss8m"
This should be JEDIT_JAVA_OPTIONS now.
Can't remember when we've had that -- obsolete.
That is already the default. It is derived from etc/preferences
ML_system_64=false (x86_64_32), or true (x86_64).
We are at polyml-5.8, but you should not change ML_SYSTEM here. Just
omit that item.
More information about the isabelle-dev