diff --git a/src/document-templates/root-svjour3-UNSUPPORTED.tex b/src/document-templates/root-svjour3-UNSUPPORTED.tex new file mode 100755 index 0000000..757cf78 --- /dev/null +++ b/src/document-templates/root-svjour3-UNSUPPORTED.tex @@ -0,0 +1,106 @@ +%% Copyright (c) 2019-2021 University of Exeter +%% 2018-2021 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 + +%% 2021/03/22 Unreleased/Isabelle2021 + +%% 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} +\usepackage[T1]{fontenc} +\usepackage[utf8]{inputenc} +\usepackage{mathptmx} +\bibliographystyle{abbrvnat} +\usepackage[USenglish]{babel} +\usepackage{isabelle} +\usepackage{xcolor} +\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 framework. Please obtain the framework by cloning + the Isabelle_DOF git repository, i.e.: + "git clone " + You can install the framework as follows: + "cd Isabelle_DOF/document-generator && ./install"}{% + For further help, see } +} +\input{ontologies} +\IfFileExists{preamble.tex}{\input{preamble.tex}}{}% +\usepackage{graphicx} +\usepackage{hyperref} +\setcounter{tocdepth}{3} +\hypersetup{% + bookmarksdepth=3 + ,pdfpagelabels + ,pageanchor=true + ,bookmarksnumbered + ,plainpages=false +} % more detailed digital TOC (aka bookmarks) +\sloppy +\allowdisplaybreaks[4] +\urlstyle{rm} +\isabellestyle{it} +\usepackage[caption]{subfig} +\usepackage[size=footnotesize]{caption} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% Overrides the (rightfully issued) warning by Koma Script that \rm +%%% etc. should not be used (they are deprecated since more than a +%%% decade) + \DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm} + \DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf} + \DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt} + \DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf} + \DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\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 +\input{session} +% optional bibliography +\IfFileExists{root.bib}{% +{\small + \newcommand{\urlprefix}{} + \bibliography{root} +}}{} +\end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: diff --git a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty index def9c64..1314048 100755 --- a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty +++ b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty @@ -14,7 +14,7 @@ \NeedsTeXFormat{LaTeX2e}\relax \ProvidesPackage{DOF-scholarly_paper} - [% + [2021/03/22 Unreleased/Isabelle2021% Document-Type Support Framework for Isabelle (LNCS).] \RequirePackage{DOF-COL} @@ -54,9 +54,15 @@ \newcommand{\orcidID}[1]{}% }% {% - \PackageError{DOF-scholarly_paper} - {Scholarly Paper only supports LNCS or scrartcl as document class.} - {}\stop% + \@ifclassloaded{svjour3}% + {% + \newcommand{\inst}[1]{}% + }% + {% + \PackageError{DOF-scholarly_paper} + {Scholarly Paper only supports LNCS or scrartcl as document class.} + {}\stop% + }% }% }% }