# HG changeset patch
# User wenzelm
# Date 1689673183 -7200
# Node ID 475600ef98b8b4df831a39607288d06ab4c07bf2
# Parent  7ecf0ee4ce9f3cd64b89221bd2d19652d2084d7c
update for release;

diff -r 7ecf0ee4ce9f -r 475600ef98b8 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Jul 17 21:41:14 2023 +0200
+++ b/CONTRIBUTORS	Tue Jul 18 11:39:43 2023 +0200
@@ -13,6 +13,14 @@
 * October 2022: Jeremy Sylvestre
   Lemmas for Fun and List.
 
+* 2022/2023: Makarius Wenzel
+  Support for interactive document preparation in PIDE, including demo
+  documents for well-known LaTeX styles.
+
+* March 2023 - June 2023: Makarius Wenzel
+  ML heap usage and stored heap size has been significantly reduced;
+  based on new command-line tool "isabelle profiling".
+
 
 Contributions to Isabelle2022
 -----------------------------
diff -r 7ecf0ee4ce9f -r 475600ef98b8 NEWS
--- a/NEWS	Mon Jul 17 21:41:14 2023 +0200
+++ b/NEWS	Tue Jul 18 11:39:43 2023 +0200
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in Isabelle2023 (August 2023)
----------------------------------
+New in Isabelle2023 (September 2023)
+------------------------------------
 
 *** General ***