# HG changeset patch
# User wenzelm
# Date 1705778644 -3600
# Node ID a94a512c5e7a0ef71dddcdfc4388a63ae7157013
# Parent  958d7b118c7b0bee75a99aec375f443d09778317
update to llncs-2.23;
update src/Doc/Demo_LLNCS to include the new mandatory section "Disclosure of Interests";

diff -r 958d7b118c7b -r a94a512c5e7a Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Jan 20 16:23:51 2024 +0100
+++ b/Admin/components/components.sha1	Sat Jan 20 20:24:04 2024 +0100
@@ -301,6 +301,7 @@
 5557b396f5a9aa22388d3e2171f9bc58e4bd6cd7 lipics-3.1.2.tar.gz
 881741f6e7192fd03835b542b1db820daf0ae79c lipics-3.1.3.tar.gz
 71b6a272d10c53bb54cba23102e15334ec39bfce llncs-2.22.tar.gz
+29aa7179fbd02c528ac61df6e2e8512175093e35 llncs-2.23.tar.gz
 0aab4f73ff7f5e36f33276547e10897e1e56fb1d macos_app-20130716.tar.gz
 ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz
 400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
diff -r 958d7b118c7b -r a94a512c5e7a Admin/components/main
--- a/Admin/components/main	Sat Jan 20 16:23:51 2024 +0100
+++ b/Admin/components/main	Sat Jan 20 20:24:04 2024 +0100
@@ -20,7 +20,7 @@
 jsoup-1.15.4
 kodkodi-1.5.7
 lipics-3.1.3
-llncs-2.22
+llncs-2.23
 minisat-2.2.1-1
 mlton-20210117-1
 nunchaku-0.5
diff -r 958d7b118c7b -r a94a512c5e7a 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
diff -r 958d7b118c7b -r a94a512c5e7a src/Doc/Demo_LLNCS/Document.thy
--- a/src/Doc/Demo_LLNCS/Document.thy	Sat Jan 20 16:23:51 2024 +0100
+++ b/src/Doc/Demo_LLNCS/Document.thy	Sat Jan 20 20:24:04 2024 +0100
@@ -61,4 +61,21 @@
   efficitur ornare. Lorem ipsum dolor sit amet, consectetur adipiscing elit.
 \<close>
 
+
+text_raw \<open>\begin{credits}\<close>
+
+subsubsection \<open>\ackname\<close>
+text \<open>
+  Isabelle/Scala was of great help to assemble the \<^verbatim>\<open>llncs\<close> system component;
+  see also \<^file>\<open>~~/src/Pure/Admin/component_llncs.scala\<close> and
+  \<^path>\<open>$ISABELLE_LLNCS_HOME\<close>.
+\<close>
+
+subsubsection \<open>\discintname\<close>
+text \<open>
+  I have a long-standing interest in the wealth and prosperity of the Isabelle
+  open-source project. \<close>
+
+text_raw \<open>\end{credits}\<close>
+
 end