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
More information about the isabelle-dev