Initial support for Springer Nature's LaTeX template.

Isabelle_DOF-Ontologies/document-templates/root-sn-article-UNSUPPORTED.tex

@@ -0,0 +1,69 @@
+%% 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 scrartcl class.
+%%
+%% All customization and/or additional packages should be added to the file
+%% preamble.tex.
+
+\RequirePackage{ifvtex}
+\RequirePackage{fix-cm}
+\documentclass[]{svjour3}
+\let\proof\relax
+\let\endproof\relax
+\usepackage{DOF-core}
+\usepackage{mathptmx}
+\bibliographystyle{abbrvnat}
+
+
+\usepackage[numbers, sort&compress, sectionbib]{natbib}
+\usepackage{hyperref}
+\setcounter{tocdepth}{3} 
+\hypersetup{%
+   bookmarksdepth=3
+  ,pdfpagelabels
+  ,pageanchor=true
+  ,bookmarksnumbered
+  ,plainpages=false
+} % more detailed digital TOC (aka bookmarks)
+\sloppy
+\allowdisplaybreaks[4]
+\usepackage[caption]{subfig}
+\usepackage[size=footnotesize]{caption}
+
+\begin{document}
+\selectlanguage{USenglish}%
+\renewcommand{\bibname}{References}%
+\renewcommand{\figurename}{Fig.}
+\renewcommand{\abstractname}{Abstract.}
+\renewcommand{\subsubsectionautorefname}{Sect.}
+\renewcommand{\subsectionautorefname}{Sect.}
+\renewcommand{\sectionautorefname}{Sect.}
+\renewcommand{\figureautorefname}{Fig.}
+\newcommand{\subtableautorefname}{\tableautorefname}
+\newcommand{\subfigureautorefname}{\figureautorefname}
+\newcommand{\lstnumberautorefname}{Line}
+
+\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:

Isabelle_DOF-Ontologies/document_templates.thy

@@ -23,5 +23,6 @@ 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" 
                 "Unsupported template for SVJOUR. Not for general use."
-
+define_template "./document-templates/root-sn-article-UNSUPPORTED.tex" 
+                "Unsupported template for Springer Nature's template. Not for general use."
 end