diff --git a/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex index 1eca449..d66e2ec 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex @@ -58,7 +58,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \renewcommand{\DOFauthor}{} \renewcommand{\DOFinstitute}{} -\expandafter\newcommand\csname 2authand\endcsname{} +%\expandafter\newcommand\csname 2authand\endcsname{} \expandafter\newcommand\csname 3authand\endcsname{} \expandafter\newcommand\csname 4authand\endcsname{}