# HG changeset patch
# User wenzelm
# Date 1667591294 -3600
# Node ID 4a3a105ecbccd3fe0b7773bf44d335172aaf554b
# Parent  6abbbbebdd69dd7e0c81214929f8cebd2874dd47
tuned document;

diff -r 6abbbbebdd69 -r 4a3a105ecbcc src/Doc/Demo_LLNCS/document/root.tex
--- a/src/Doc/Demo_LLNCS/document/root.tex	Fri Nov 04 20:32:20 2022 +0100
+++ b/src/Doc/Demo_LLNCS/document/root.tex	Fri Nov 04 20:48:14 2022 +0100
@@ -15,7 +15,7 @@
 
 
 \title{Isabelle document preparation with Springer {\LaTeX} LNCS style}
-\author{Makarius Wenzel\inst{1}\orcidID{0000-0002-3753-8280}}
+\author{Makarius Wenzel\orcidID{0000-0002-3753-8280}}
 \authorrunning{M. Wenzel}
 \institute{Augsburg, Germany \\ \url{https://sketis.net}}