NEWS

--- a/NEWS	Mon Oct 31 11:04:54 2022 +0100
+++ b/NEWS	Mon Oct 31 15:50:13 2022 +0100
@@ -7,6 +7,13 @@
 New in this Isabelle version
 ----------------------------
 
+*** Document preparation ***
+
+* The Dagstuhl LIPIcs style is included as Isabelle component. The
+session "Demo_LIPIcs" provides an example document, which is also
+included in the regular Isabelle documentation as "demo_lipics".
+
+
 *** HOL ***
 
 * Theory "HOL.Fun":