--- a/NEWS Thu Oct 13 14:30:53 2022 +0200
+++ b/NEWS Thu Oct 13 16:45:49 2022 +0200
@@ -238,6 +238,10 @@
total_on_trancl
totalp_on_tranclp
+* Theory "HOL-Library.Signed_Division": class signed_division carries
+assumptions; use syntactic type classes signed_division and
+signed_modulo as alternatives.
+
* New theory "HOL-Library.NList" of fixed length lists.
* New Theory "HOL-Library.Code_Abstract_Char" implements characters by
@@ -448,6 +452,11 @@
together. Potential INCOMPATIBILITY for existing
$ISABELLE_HOME_USER/etc/settings.
+* The system option "ML_system_apple" controls the use of native
+Apple/ARM64 for Poly/ML: default "true". Like "ML_system_64" this only
+works when saved in "$ISABELLE_HOME_USER/etc/preferences" (e.g. after
+shutdown of Isabelle/jEdit).
+
New in Isabelle2021-1 (December 2021)