--- a/src/Doc/Demo_LIPIcs/document/root.tex Fri Nov 04 19:57:21 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/document/root.tex Fri Nov 04 19:59:00 2022 +0100
@@ -7,8 +7,6 @@
\isafoldtag{proof}
-\bibliographystyle{plainurl}% the mandatory bibstyle (e.g. from texlive-bibtex-extra)
-
\title{Isabelle document preparation with Dagstuhl LIPIcs style}
\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{https://orcid.org/0000-0002-3753-8280}{}
@@ -54,6 +52,7 @@
\input{session}
+\bibliographystyle{plainurl} %the mandatory bibstyle (e.g. from texlive-bibtex-extra)
\bibliography{root}
\end{document}