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