Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Do not provide authand commands already defined by LIPICS.

Browse Source
This commit is contained in:
Achim D. Brucker 2024-06-15 20:37:20 +01:00
parent 3d9fcc99ab
commit 8171550847
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex
View File

@ -58,9 +58,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\DOFauthor}{}
\renewcommand{\DOFinstitute}{}
%\expandafter\newcommand\csname 2authand\endcsname{}
\expandafter\newcommand\csname 3authand\endcsname{}
\expandafter\newcommand\csname 4authand\endcsname{}
\begin{document}