# HG changeset patch
# User wenzelm
# Date 1691531733 -7200
# Node ID 1e80fc36776c1a7f492994712e247ded7f65f7eb
# Parent  aeda5a004d89412c5cae6e067b252790609ae2da
more robust support for ARM64 platform;

diff -r aeda5a004d89 -r 1e80fc36776c ANNOUNCE
--- a/ANNOUNCE	Tue Aug 08 23:51:01 2023 +0200
+++ b/ANNOUNCE	Tue Aug 08 23:55:33 2023 +0200
@@ -16,6 +16,8 @@
 
 * HOL: updates and improvements of Sledgehammer.
 
+* ML: more robust support for ARM64 platform (native Apple Silicon).
+
 * ML: heap usage and stored heap size has been significantly reduced.
 
 * ML: improved implementations of functor Table() and corresponding Set().