# HG changeset patch
# User wenzelm
# Date 1693156032 -7200
# Node ID dccfe13878a53edf691d142d32f0c01ddf7d9649
# Parent  d0053e582dd959513c278d28f65f403520e48424
update for release;

diff -r d0053e582dd9 -r dccfe13878a5 ANNOUNCE
--- a/ANNOUNCE	Sun Aug 27 17:00:03 2023 +0200
+++ b/ANNOUNCE	Sun Aug 27 19:07:12 2023 +0200
@@ -28,6 +28,7 @@
 
 * System: "isabelle profiling" tool produces ML heap statistics.
 
+* System: experimental support for distributed build clusters.
 
 
 You may get Isabelle2023 from the following mirror sites: