Updated LaTeX setup.

examples/math_exam/MathExam/ROOT

@@ -7,9 +7,7 @@ session "MathExam" = "HOL" +
     MathExam
   document_files
     "preamble.tex"
-    "llncs.cls"
     "root.tex"
     "ontologies.tex"
     "preamble.tex"
     "build"
-    "llncs.cls"

examples/math_exam/MathExam/document/ontologies.tex

@@ -1,3 +1,4 @@
+% This file was modified by the DOF LaTeX converter, version 0.0.3
 %% Copyright (C) 2018 The University of Sheffield
 %%               2018 The University of Paris-Sud
 %%
@@ -13,5 +14,4 @@
 
 %% This file is used for including the LaTeX ontology mappings. 
 \usepackage{DOF-core}
-\usepackage{DOF-scholarly_paper}
 \usepackage{DOF-mathex}

examples/math_exam/MathExam/document/root.tex

@@ -9,36 +9,33 @@
 %%   OR
 %%   The 2-clause BSD-style license.
 %%  
-%%   SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
+%%   SPDX-License-Identifier: LPPL-1
 
 %% Warning: Do Not Edit!
 %% =====================
-%% This is the root file for the Isabelle/DOF using Springer's llncs.cls.
+%% This is the root file for the Isabelle/DOF. 
 %% All customization and/or additional packages should be added to the file 
 %% preamble.tex. 
 
+
 \RequirePackage{ifvtex}
-\documentclass{llncs}
+\documentclass[fontsize=11pt,DIV12,paper=a4]{scrartcl}
 \usepackage[T1]{fontenc}
 \usepackage[utf8]{inputenc}
-\usepackage[USenglish]{babel}
+\usepackage{textcomp}
+\usepackage[english]{babel}
 \usepackage{isabelle}
-\usepackage{xcolor}
+\input{ontologies}
 \usepackage{isabellesym}
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
-\input{ontologies}
-\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
-\usepackage{xspace}
-\newcommand{\isadof}{Isabelle/DOF\xspace}
-\usepackage{graphicx}
 \usepackage{hyperref}
 \setcounter{tocdepth}{3} 
 \hypersetup{%
    bookmarksdepth=3
   ,pdfpagelabels
-  ,pageanchor=false
+  ,pageanchor=true
   ,bookmarksnumbered
   ,plainpages=false
 } % more detailed digital TOC (aka bookmarks)
@@ -46,23 +43,6 @@
 \allowdisplaybreaks[4]
 \urlstyle{rm}
 \isabellestyle{it}
-\usepackage[caption]{subfig}
-\usepackage[size=footnotesize]{caption}
-
-\newcommand{\ie}{i.e.}
-\newcommand{\eg}{e.g.}
-
-\renewcommand{\topfraction}{0.9}      % max fraction of floats at top
-\renewcommand{\bottomfraction}{0.8}   % max fraction of floats at bottom
-\setcounter{topnumber}{2}
-\setcounter{bottomnumber}{2}
-\setcounter{totalnumber}{4}     % 2 may work better
-\setcounter{dbltopnumber}{2}    % for 2-column pages
-\renewcommand{\dbltopfraction}{0.9}   % fit big float above 2-col. text
-\renewcommand{\textfraction}{0.07}    % allow minimal text w. figs
-\renewcommand{\floatpagefraction}{0.7}        % require fuller float pages
-\renewcommand{\dblfloatpagefraction}{0.7}     % require fuller float pages
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%% Overrides the (rightfully issued) warning by Koma Script that \rm
 %%% etc. should not be used (they are deprecated since more than a
@@ -74,33 +54,18 @@
   \DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+
+\title{<TITLE>}
+\author{<AUTHOR>}
 \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
-\makeatother
+\tableofcontents
 \input{session}
 % optional bibliography
 \IfFileExists{root.bib}{%
-{\small   \renewcommand{\doi}[1]{}
-  \newcommand{\urlprefix}{}
-
-  \bibliographystyle{spmpscinat}
-  
-  \bibliography{root}
-}}{}
+    \bibliographystyle{abbrvnat}
+    \bibliography{root}
+}{}
 \end{document}
 
 %%% Local Variables: