NEWS

--- a/NEWS	Sat Jan 20 16:23:51 2024 +0100
+++ b/NEWS	Sat Jan 20 20:24:04 2024 +0100
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** Document preparation ***
+
+* The bundled LaTeX LNCS style has been updated to version 2.23
+(02-Nov-2023). See also src/Doc/Demo_LLNCS/.
+
+
 *** HOL ***
 
 * Sledgehammer