[isabelle-dev] Poly/ML x86_64_32 available for testing

Bertram Felgenhauer bertram.felgenhauer at googlemail.com
Tue Jan 22 12:31:54 CET 2019

Makarius wrote:
> So this is the right time for further testing of applications:
> Isabelle2018 should work as well, but I have not done any testing beyond
> "isabelle build -g main" -- Isabelle development only moves forward in
> one direction on a single branch.

I have tried this with Isabelle2018 and IsaFoR; I've encountered no
problems and there's a nice speedup (estimated 1.25 times faster).
Heap images are 40% smaller, which is a welcome change as well.

Thanks a lot, David and Makarius!


More information about the isabelle-dev mailing list