[isabelle-dev] Duplicate theory??

[Makarius]

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.


> ISABELLE_INTERFACE_CHOICE=jedit

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.


	Makarius