# HG changeset patch # User wenzelm # Date 1667590340 -3600 # Node ID 6abbbbebdd69dd7e0c81214929f8cebd2874dd47 # Parent 8dbb0b2f657600e78951d9a923eee0ddd1e1bcdc clarified LaTeX style; diff -r 8dbb0b2f6576 -r 6abbbbebdd69 src/Doc/Demo_Easychair/document/root.tex --- a/src/Doc/Demo_Easychair/document/root.tex Fri Nov 04 20:15:54 2022 +0100 +++ b/src/Doc/Demo_Easychair/document/root.tex Fri Nov 04 20:32:20 2022 +0100 @@ -1,6 +1,5 @@ \documentclass[a4paper,11pt]{easychair} \usepackage{amssymb} -\usepackage{hyperref}\urlstyle{rm} \usepackage{isabelle,isabellesym}\isabellestyle{it} diff -r 8dbb0b2f6576 -r 6abbbbebdd69 src/Doc/Demo_LIPIcs/document/root.tex --- a/src/Doc/Demo_LIPIcs/document/root.tex Fri Nov 04 20:15:54 2022 +0100 +++ b/src/Doc/Demo_LIPIcs/document/root.tex Fri Nov 04 20:32:20 2022 +0100 @@ -10,7 +10,7 @@ \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{} diff -r 8dbb0b2f6576 -r 6abbbbebdd69 src/Doc/Demo_LLNCS/document/root.tex --- a/src/Doc/Demo_LLNCS/document/root.tex Fri Nov 04 20:15:54 2022 +0100 +++ b/src/Doc/Demo_LLNCS/document/root.tex Fri Nov 04 20:32:20 2022 +0100 @@ -3,6 +3,10 @@ \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} @@ -11,7 +15,7 @@ \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}}