| changeset 78302 | 27521a4779bd |
| parent 78298 | 3b0f8f1010f2 |
| child 78306 | b04ac8a017b2 |
--- a/NEWS Tue Jul 11 15:01:38 2023 +0200 +++ b/NEWS Tue Jul 11 15:15:27 2023 +0200 @@ -459,6 +459,8 @@ * File.set_executable in Isabelle/Scala has changed its mandatory "flag" to optional "reset", which opposite polarity. INCOMPATIBILITY. +* Update to GHC stack 2.9.3 with support for arm64-linux. + New in Isabelle2022 (October 2022)