Email Gateway (Nov 16 2021 at 21:14): Email Gateway (Nov 16 2021 at 21:14):From: Makarius <makarius@sketis.net>
(After a merge of isabelle-dev and isabelle-release, some notable changes are
back to isabelle-dev.)
Isabelle/610a153b941d provides polyml-5.9-610a153b941d, which is very close to
the final 5.9 release (presumably this week).
arm64_32-darwin succeeded to build all of Isabelle + AFP.
arm64-darwin works for all of Isabelle, and some parts of AFP tested so far:
I did not run a full test yet --- it takes 1-2 days each time.
arm64_32-linux and arm64-linux works for all of Isabelle (on Raspberry PI),
excluding a few proofs in HOL-SMT_Examples.
x86_32_64 and x86_64 should not produce any surprises.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Apr 24 2024 at 01:07 UTC