[isabelle-dev] performance problems

Makarius makarius at sketis.net
Fri Sep 7 21:39:19 CEST 2018

On 07/09/18 20:22, Lawrence Paulson wrote:
>> For 16 GB, I usually run Poly/ML in 32-bit mode
> How do you do that?

When Isabelle/jEdit is running, you disable the Plugin Option Isabelle /
General / ML system 64 and restart the application.

Or when it is not running, you edit $ISABELLE_HOME_USER/etc/preferences
and remove ML_system_64 = "true" and then start the application.


More information about the isabelle-dev mailing list