# HG changeset patch
# User wenzelm
# Date 1667650305 -3600
# Node ID 220f6f377d52f22e13432955f864235e77cd38ea
# Parent  87cd8506e000a31cfdeb75c15473e93d6ee44d2f
proper URL;

diff -r 87cd8506e000 -r 220f6f377d52 src/Doc/Demo_LIPIcs/document/root.tex
--- 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{}