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