--- 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: