Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Moved subfig into root files.

This commit is contained in:
Achim D. Brucker 2019-01-08 20:51:03 +00:00
parent 471af0e711
commit 934f879cdf
4 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
document-generator/document-template/root-lncs.tex
View File

@ -25,6 +25,7 @@
\usepackage{isabelle}
\usepackage{xcolor}
\usepackage{isabellesym}
\RequirePackage[caption]{subfig}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[numbers, sort&compress, sectionbib]{natbib}

1
document-generator/document-template/root-scrartcl.tex
View File

@ -24,6 +24,7 @@
\usepackage[utf8]{inputenc}
\usepackage{textcomp}
\usepackage[english]{babel}
\RequirePackage[caption]{subfig}
\usepackage{isabelle}
\usepackage{isabellesym}
\IfFileExists{DOF-core.sty}{}{%

1
document-generator/document-template/root-scrreprt.tex
View File

@ -24,6 +24,7 @@
\usepackage[utf8]{inputenc}
\usepackage{textcomp}
\usepackage[english]{babel}
\RequirePackage[caption]{subfig}
\usepackage{isabelle}
\usepackage{isabellesym}
\IfFileExists{DOF-core.sty}{}{%

1
document-generator/latex/DOF-core.sty
View File

@ -21,7 +21,6 @@
\RequirePackage{graphicx}
\RequirePackage{xspace}
\RequirePackage{fp}
\RequirePackage[caption]{subfig}
\newcommand{\isadof}{Isabelle/DOF\xspace}