changeset 79505 | a94a512c5e7a |
parent 79488 | 62d8c6c08fb2 |
child 79575 | b21d8401f0ca |
--- 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