From 46c46af8802f3efbad7e35585d956cd9ee232286 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 27 Mar 2022 12:02:48 +0100 Subject: [PATCH] Removed outdated lipics v2019 setup. --- .../root-lipics-v2019-UNSUPPORTED.tex | 91 ------------------- 1 file changed, 91 deletions(-) delete mode 100755 src/document-templates/root-lipics-v2019-UNSUPPORTED.tex diff --git a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex deleted file mode 100755 index f6e4e8e..0000000 --- a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex +++ /dev/null @@ -1,91 +0,0 @@ -%% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Saclay -%% 2018-2019 The University of Sheffield -%% -%% License: -%% This program can be redistributed and/or modified under the terms -%% of the LaTeX Project Public License Distributed from CTAN -%% archives in directory macros/latex/base/lppl.txt; either -%% version 1.3c of the License, or (at your option) any later version. -%% OR -%% The 2-clause BSD-style license. -%% - -%% - -%% Warning: Do Not Edit! -%% ===================== -%% This is the root file for the Isabelle/DOF using the lipics class. -%% Note that lipics cannot be distributed as part of Isabelle/DOF; you need -%% to download lipics.cls from -%% https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ -%% and add it manually to the praemble.tex and the ROOT file. -%% -%% All customization and/or additional packages should be added to the file -%% preamble.tex. - -\documentclass[a4paper,USenglish,cleveref, autoref]{lipics-v2019} -\bibliographystyle{plainurl}% the mandatory bibstyle -\usepackage{isabelle} -\usepackage{isabellesym} -% \usepackage{amsmath} -% \usepackage{DOF-amssymb} -\usepackage[numbers, sort&compress, sectionbib]{natbib} -\IfFileExists{DOF-core.sty}{}{% - \PackageError{DOF-core}{Isabelle/DOF not installed. - This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF component from: - - }{For further help, see } -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% provide an alternative definition of -% begin: scholarly_paper.author -\RequirePackage{keycommand} -\makeatletter -\newcommand{\DOFlipicsAuthor}[4]{\expandafter\author{#1}{#2}{#3}{#4}} -\expandafter\newkeycommand\csname isaDof.text.scholarly_paper.author\endcsname% -[label=,type=% -,scholarly_paper.author.email=% -,scholarly_paper.author.affiliation=% -,scholarly_paper.author.orcid=% -,scholarly_paper.author.http_site=% -][1]{% - \protected@write\@auxout{}{\string\protect\string\DOFlipicsAuthor{#1}% - {\commandkey{scholarly_paper.author.affiliation}} - {\commandkey{scholarly_paper.author.email}} - {\commandkey{scholarly_paper.author.orcid}} - {} - } -} - -\makeatother -% end: scholarly_paper.author -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\input{ontologies} -\renewcommand{\DOFauthor}{} -\renewcommand{\DOFinstitute}{} -\expandafter\newcommand\csname 2authand\endcsname{} -\expandafter\newcommand\csname 3authand\endcsname{} -\expandafter\newcommand\csname 4authand\endcsname{} - -\IfFileExists{preamble.tex}{\input{preamble.tex}}{}% -\begin{document} - - -\maketitle -\input{session} -% optional bibliography -\IfFileExists{root.bib}{% -{\small - \bibliography{root} -}}{} -\end{document} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: t -%%% End: