diff --git a/src/Doc/Demo_Easychair/document/root.tex b/src/Doc/Demo_Easychair/document/root.tex --- a/src/Doc/Demo_Easychair/document/root.tex +++ b/src/Doc/Demo_Easychair/document/root.tex @@ -1,31 +1,30 @@ \documentclass[a4paper,11pt]{easychair} \usepackage{amssymb} -\usepackage{hyperref}\urlstyle{rm} \usepackage{isabelle,isabellesym}\isabellestyle{it} \isadroptag{theory} \isafoldtag{proof} \begin{document} \title{Isabelle document preparation with Easychair style} \titlerunning{Easychair style} \author{Makarius Wenzel} \authorrunning{M. Wenzel} \institute{\url{https://sketis.net}} \maketitle \begin{abstract} Isabelle is a formal document preparation system. This example shows how to use it together with the Easychair style. See \url{https://easychair.org/publications/for_authors} for further information. \end{abstract} \input{session} \bibliographystyle{abbrv} \bibliography{root} \end{document} diff --git a/src/Doc/Demo_LIPIcs/document/root.tex b/src/Doc/Demo_LIPIcs/document/root.tex --- a/src/Doc/Demo_LIPIcs/document/root.tex +++ b/src/Doc/Demo_LIPIcs/document/root.tex @@ -1,59 +1,59 @@ \documentclass[a4paper,UKenglish,cleveref,autoref]{lipics-v2021} \usepackage[utf8]{inputenc} \usepackage{isabelle,isabellesym} \isabellestyle{it} \isadroptag{theory} \isafoldtag{proof} \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}{} +\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{0000-0002-3753-8280}{} \authorrunning{M. Wenzel} \Copyright{} \ccsdesc[100]{General and reference~General literature} \ccsdesc[100]{General and reference} \keywords{Document preparation} \category{} \nolinenumbers %\hideLIPIcs %uncomment to remove references to LIPIcs series (logo, DOI, ...), e.g. when preparing a pre-final version to be uploaded to arXiv or another public repository %Editor-only macros:: begin (do not touch as author)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \EventEditors{John Q. Open and Joan R. Access} \EventNoEds{2} \EventLongTitle{42nd Conference on Very Important Topics (CVIT 2016)} \EventShortTitle{CVIT 2016} \EventAcronym{CVIT} \EventYear{2016} \EventDate{December 24--27, 2016} \EventLocation{Little Whinging, United Kingdom} \EventLogo{} \SeriesVolume{42} \ArticleNo{23} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{document} \maketitle \begin{abstract} Isabelle is a formal document preparation system. This example shows how to use it together with the Dagstuhl LIPIcs style. See \url{https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors} for further information. \end{abstract} \input{session} \bibliographystyle{plainurl} %the mandatory bibstyle (e.g. from texlive-bibtex-extra) \bibliography{root} \end{document} diff --git a/src/Doc/Demo_LLNCS/document/root.tex b/src/Doc/Demo_LLNCS/document/root.tex --- a/src/Doc/Demo_LLNCS/document/root.tex +++ b/src/Doc/Demo_LLNCS/document/root.tex @@ -1,37 +1,41 @@ \documentclass[runningheads]{llncs} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{amssymb} +\usepackage[colorlinks=true,linkcolor=black,citecolor=black,filecolor=black,urlcolor=black,pdfpagelabels]{hyperref} + +\pagestyle{plain} %for submission + \usepackage{isabelle,isabellesym} \isabellestyle{it} \isadroptag{theory} \isafoldtag{proof} \title{Isabelle document preparation with Springer {\LaTeX} LNCS style} -\author{Makarius Wenzel\inst{1}\orcidID{https://orcid.org/0000-0002-3753-8280}} +\author{Makarius Wenzel\inst{1}\orcidID{0000-0002-3753-8280}} \authorrunning{M. Wenzel} \institute{Augsburg, Germany \\ \url{https://sketis.net}} \begin{document} \maketitle \begin{abstract} Isabelle is a formal document preparation system. This example shows how to use it together with the Springer {\LaTeX} LNCS style. See \url{https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines} for further information. \keywords{Document preparation} \end{abstract} \input{session} \bibliographystyle{splncs04} \bibliography{root} \end{document}