# HG changeset patch
# User wenzelm
# Date 1667588340 -3600
# Node ID 721e5b7daa6db7311133949af93a033243f120b8
# Parent  d7a3a0a793e28c3137de3fa39c0c97c7e82e2e51
tuned;

diff -r d7a3a0a793e2 -r 721e5b7daa6d src/Doc/Demo_LIPIcs/document/root.tex
--- 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}