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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
