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.
proper URL;
authorwenzelm
Sat, 05 Nov 2022 13:11:45 +0100
changeset 76452 220f6f377d52
parent 76451 87cd8506e000
child 76453 2ba80c2fc325
proper URL;
src/Doc/Demo_LIPIcs/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/Doc/Demo_LIPIcs/document/root.tex	Sat Nov 05 13:08:37 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/document/root.tex	Sat Nov 05 13:11:45 2022 +0100
@@ -10,7 +10,7 @@
 
 \title{Isabelle document preparation with Dagstuhl LIPIcs style}
 
-\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{0000-0002-3753-8280}{}
+\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{https://orcid.org/0000-0002-3753-8280}{}
 \authorrunning{M. Wenzel}
 
 \Copyright{}
isabelle