[isabelle-dev] Isabelle_10-Sep-2013

Makarius makarius at sketis.net
Mon Sep 16 15:52:02 CEST 2013

On Mon, 16 Sep 2013, René Thiemann wrote:

> Since the problem seems to be not that easy to fix, and since the 64-bit 
> mode does not seem to have this problem, would it be sensible to make 
> the 64-bit version the default for Isabelle on MacOS? Or are there other 
> known problems with the 64-bit version?

The x86_64 version produces much larger images, and is hardly ever needed 
in practice not even for JinjaThreads or L4.verified.  Recall that you 
have also got physical memory problems by using it.

The general idea of Isabelle default settings is to make things work for 
most users, but certain power users still need to edit settings 
themselves.  This also includes multithreading parameters on machines with 
many cores.


More information about the isabelle-dev mailing list