Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more NEWS;
authorwenzelm
Sun, 15 Oct 2023 14:22:37 +0200
changeset 78782 c44171d372a1
parent 78781 847739805b8d
child 78783 b78158997a28
more NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Oct 15 13:48:08 2023 +0200
+++ b/NEWS	Sun Oct 15 14:22:37 2023 +0200
@@ -50,6 +50,9 @@
 
 * Update to official Poly/ML 5.9.1.
 
+* Update to GHC stack 2.13.1 with support for all platforms, including
+Apple Silicon.
+
 * No longer support for very old versions of macOS and Linux: base-line
 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.
isabelle