forked from Isabelle_DOF/Isabelle_DOF
Integrated dof-common.tex into DOF-core.sty.
This commit is contained in:
parent
6c2a0d6876
commit
44f9317b35
|
|
@ -16,13 +16,26 @@
|
|||
\ProvidesPackage{DOF-core}
|
||||
[00/00/0000 Document-Type Support Framework for Isabelle.]
|
||||
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[english,USenglish]{babel}
|
||||
|
||||
\RequirePackage{keycommand}
|
||||
\RequirePackage{environ}
|
||||
\RequirePackage{graphicx}
|
||||
\RequirePackage{xcolor}
|
||||
\RequirePackage{xspace}
|
||||
\RequirePackage{etoolbox}
|
||||
\RequirePackage{fp}
|
||||
|
||||
\usepackage{isabelle}
|
||||
\usepackage{isabellesym}
|
||||
|
||||
\isabellestyle{it}
|
||||
|
||||
|
||||
|
||||
|
||||
\RequirePackage{dof-config}
|
||||
\newcommand{\isabelleversion}{\dof@isabelleversion\xspace}
|
||||
\newcommand{\dofversion}{\dof@version\xspace}
|
||||
|
|
@ -145,3 +158,8 @@
|
|||
\newisadof{macroExp}[label=,type=][1]{MMM \autoref{#1}} %% place_holder
|
||||
% end: label and ref
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
||||
\title{No Title Given}
|
||||
\author{No Author Given}
|
||||
\input{ontologies}
|
||||
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
||||
|
|
|
|||
|
|
@ -1,41 +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 lncs class.
|
||||
%%
|
||||
%% All customization and/or additional packages should be added to the file
|
||||
%% preamble.tex.
|
||||
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[english,USenglish]{babel}
|
||||
|
||||
\usepackage{isabelle}
|
||||
\usepackage{isabellesym}
|
||||
|
||||
\usepackage{xcolor}
|
||||
|
||||
\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 for Isabelle.
|
||||
}{For further help, see the Isabelle/DOF manual.}
|
||||
}
|
||||
\title{No Title Given}
|
||||
\title{No Author Given}
|
||||
\input{ontologies}
|
||||
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
||||
\isabellestyle{it}
|
||||
|
|
@ -23,9 +23,9 @@
|
|||
%% preamble.tex.
|
||||
|
||||
\documentclass[submission,copyright,creativecommons]{eptcs}
|
||||
\bibliographystyle{eptcs}% the mandatory bibstyle
|
||||
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
\bibliographystyle{eptcs}% the mandatory bibstyle
|
||||
|
||||
\usepackage{amsmath}
|
||||
\usepackage{DOF-amssymb}
|
||||
|
|
|
|||
|
|
@ -29,7 +29,7 @@
|
|||
\bibliographystyle{plainurl}% the mandatory bibstyle
|
||||
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
||||
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
% provide an alternative definition of
|
||||
|
|
|
|||
|
|
@ -21,7 +21,7 @@
|
|||
|
||||
\RequirePackage{ifvtex}
|
||||
\documentclass{llncs}
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
\bibliographystyle{splncs04}
|
||||
\usepackage{amsmath}
|
||||
\usepackage{DOF-amssymb}
|
||||
|
|
|
|||
|
|
@ -22,7 +22,7 @@
|
|||
\RequirePackage{ifvtex}
|
||||
\documentclass[abstract=true,fontsize=11pt,DIV=12,paper=a4]{scrartcl}
|
||||
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
|
||||
\usepackage{textcomp}
|
||||
\bibliographystyle{abbrvnat}
|
||||
|
|
|
|||
|
|
@ -29,7 +29,7 @@
|
|||
\bibliographystyle{abbrvnat}
|
||||
\usepackage{amsthm}
|
||||
\usepackage{newtxsf}
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
|
||||
\usepackage{amsmath}
|
||||
\usepackage{DOF-amssymb}
|
||||
|
|
|
|||
|
|
@ -22,7 +22,7 @@
|
|||
\RequirePackage{ifvtex}
|
||||
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
|
||||
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
|
||||
\usepackage{textcomp}
|
||||
\bibliographystyle{abbrvnat}
|
||||
|
|
|
|||
|
|
@ -23,7 +23,7 @@
|
|||
\RequirePackage{fix-cm}
|
||||
\documentclass[]{svjour3}
|
||||
|
||||
\input{dof-common}
|
||||
\usepackage{DOF-core}
|
||||
\usepackage{mathptmx}
|
||||
\bibliographystyle{abbrvnat}
|
||||
|
||||
|
|
|
|||
|
|
@ -68,8 +68,6 @@ object DOF_Document_Build
|
|||
val template = regex.replaceAllIn(context.options.string("dof_template"),"")
|
||||
Isabelle_System.copy_file(template_dir + Path.explode("root-"+template+".tex"),
|
||||
directory.doc_dir+Path.explode("root.tex"))
|
||||
Isabelle_System.copy_file(template_dir + Path.explode("dof-common.tex"),
|
||||
directory.doc_dir)
|
||||
|
||||
// copy Isabelle/DOF LaTeX styles
|
||||
val doc_jdir = new JFile(directory.doc_dir.implode)
|
||||
|
|
|
|||
Reference in New Issue