From c4875da7cbfd4a6f4f2a8425267b4b42c702c7d9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 25 Feb 2024 11:45:46 +0000
Subject: [PATCH] Removed (non-working) support for eptcs.

---
 .../root-eptcs-UNSUPPORTED.tex                | 80 -------------------
 .../document_templates.thy                    |  2 -
 .../scholarly_paper/DOF-scholarly_paper.sty   | 18 ++---
 3 files changed, 5 insertions(+), 95 deletions(-)
 delete mode 100644 Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex

diff --git a/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex
deleted file mode 100644
index 77c4dc3..0000000
--- a/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex
+++ /dev/null
@@ -1,80 +0,0 @@
-%% Copyright (c) 2019-2022 University of Exeter
-%%               2018-2022 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.
-%%
-%%   SPDX-License-Identifier: LPPL-1.3c+ OR BSD-2-Clause
-
-%% Warning: Do Not Edit!
-%% =====================
-%% This is the root file for the Isabelle/DOF using the eptcs class. 
-%% Note that eptcs cannot be distributed as part of Isabelle/DOF; you need
-%% to download eptcs.cls from http://eptcs.web.cse.unsw.edu.au/style.shtml
-%% 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[submission,copyright,creativecommons]{eptcs}
-\title{No Title Given}
-
-\usepackage{DOF-core}
-\bibliographystyle{eptcs}% the mandatory bibstyle
-
-\usepackage[numbers, sort&compress, sectionbib]{natbib}
-\newcommand{\subtitle}[1]{%
-  \PackageError{DOF-eptcs-UNSUPPORTED}
-               {The LaTeX class eptcs does not support subtitles.}
-               {}\stop%
-}%
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% provide an alternative definition of 
-% begin: scholarly_paper.author
-\newcommand{\dofeptcsinstitute}[1]{\mbox{}\\\protect\scriptsize%
-  \protect\begin{tabular}[t]{@{\protect\footnotesize}c@{}}%
-    #1%
-  \protect\end{tabular}%
-}
-
-\makeatletter
-\newisadof{text.scholarly_paper.author}%
-[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\addauthor{%
-   #1 %
-    \string\mbox{}\string\dofeptcsinstitute{\commandkey{scholarly_paper.author.affiliation}} %
-    \string\mbox{}\string\email{\commandkey{scholarly_paper.author.email}} %
-  }
-  }
-}
-\makeatother
-% end: scholarly_paper.author
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-
-\begin{document}
-\maketitle
-\IfFileExists{dof_session.tex}{\input{dof_session}}{\input{session}}
-% optional bibliography
-\IfFileExists{root.bib}{%
-    \bibliography{root}
-}{}
-\end{document}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/Isabelle_DOF-Ontologies/document_templates.thy b/Isabelle_DOF-Ontologies/document_templates.thy
index fe7e6a3..bbf5c9b 100644
--- a/Isabelle_DOF-Ontologies/document_templates.thy
+++ b/Isabelle_DOF-Ontologies/document_templates.thy
@@ -17,8 +17,6 @@ imports
   "Isabelle_DOF.Isa_DOF"
 begin
 
-define_template "./document-templates/root-eptcs-UNSUPPORTED.tex" 
-                "Unsupported template for the EPTCS class. Not for general use."
 define_template "./document-templates/root-lipics-v2021-UNSUPPORTED.tex" 
                 "Unsupported template for LIPICS (v2021). Not for general use."
 define_template "./document-templates/root-svjour3-UNSUPPORTED.tex" 
diff --git a/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty b/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
index 5ed0914..0655bf9 100644
--- a/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
+++ b/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
@@ -50,22 +50,14 @@
       }%
       {%
         {%
-          \@ifclassloaded{eptcs}%
+          \@ifclassloaded{svjour3}%
           {%
-            \RequirePackage{amsthm}
-            \newcommand{\inst}[1]{}%
-            \newcommand{\orcidID}[1]{}%
+              \newcommand{\inst}[1]{}%
           }%
           {%
-            \@ifclassloaded{svjour3}%
-            {%
-                \newcommand{\inst}[1]{}%
-            }%
-            {%
-              \PackageError{DOF-scholarly_paper}
-                          {Scholarly Paper only supports LNCS or scrartcl as document class.}
-                          {}\stop%
-            }%
+            \PackageError{DOF-scholarly_paper}
+                        {Scholarly Paper only supports LNCS or scrartcl as document class.}
+                        {}\stop%
           }%
         }%
       }%