Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned document;
authorwenzelm
Fri, 04 Nov 2022 20:48:14 +0100
changeset 76445 4a3a105ecbcc
parent 76444 6abbbbebdd69
child 76446 ac19229c9f31
tuned document;
src/Doc/Demo_LLNCS/document/root.tex file | annotate | diff | comparison | revisions 
--- 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}}
isabelle