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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev