[isabelle-dev] Poly/ML x86_64_32 available for testing (polyml-test-a444f281ccec)

Makarius makarius at sketis.net
Wed Jan 23 23:44:27 CET 2019

Isabelle/20bc1d26c932 now provides an updated polyml-test-a444f281ccec
(active by default).

It performs slightly better than the previous test version -- I have
also removed old workarounds for integer arithmetic in

It is important to check that obsolete entries in
$ISASELLE_HOME_USER/etc/settings are cleaned up, such that this greatest
and latest version gets used.


More information about the isabelle-dev mailing list