NEWS

--- a/NEWS	Fri Aug 26 21:25:35 2022 +0200
+++ b/NEWS	Fri Aug 26 21:28:26 2022 +0200
@@ -12,6 +12,9 @@
 * Old-style {* verbatim *} tokens have been discontinued (legacy feature
 since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead.
 
+* Session ROOT files support 'chapter_definition', in order to associate
+a description for presentation purposes.
+
 
 *** Isabelle/VSCode Prover IDE ***