[isabelle-dev] Duplicate theory??

Makarius 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.

> ML_PLATFORM="x86_64_32-linux"

That is already the default. It is derived from etc/preferences
ML_system_64=false (x86_64_32), or true (x86_64).

> ML_SYSTEM="polyml-5.7.1”

We are at polyml-5.8, but you should not change ML_SYSTEM here. Just
omit that item.


More information about the isabelle-dev mailing list