| changeset 76275 | b446004b2464 |
| parent 76271 | 7eedccabbc74 |
| child 76280 | e381884c09d4 |
| child 76325 | 14cf5a50c1e9 |
--- a/NEWS Sun Oct 09 16:28:28 2022 +0200 +++ b/NEWS Wed Oct 12 11:15:36 2022 +0200 @@ -416,6 +416,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)