forked from Isabelle_DOF/Isabelle_DOF
Moved \isadof definition to DOF-core.sty.
This commit is contained in:
parent
dfcb9fc185
commit
012dcf6740
|
@ -30,8 +30,6 @@
|
||||||
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
||||||
\input{ontologies}
|
\input{ontologies}
|
||||||
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
||||||
\usepackage{xspace}
|
|
||||||
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
|
||||||
\usepackage{graphicx}
|
\usepackage{graphicx}
|
||||||
\usepackage{hyperref}
|
\usepackage{hyperref}
|
||||||
\setcounter{tocdepth}{3}
|
\setcounter{tocdepth}{3}
|
||||||
|
|
|
@ -32,8 +32,6 @@
|
||||||
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
||||||
\input{ontologies}
|
\input{ontologies}
|
||||||
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
||||||
\usepackage{xspace}
|
|
||||||
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
|
||||||
\usepackage{graphicx}
|
\usepackage{graphicx}
|
||||||
\usepackage{hyperref}
|
\usepackage{hyperref}
|
||||||
\setcounter{tocdepth}{3}
|
\setcounter{tocdepth}{3}
|
||||||
|
|
|
@ -32,8 +32,6 @@
|
||||||
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
||||||
\input{ontologies}
|
\input{ontologies}
|
||||||
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
|
||||||
\usepackage{xspace}
|
|
||||||
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
|
||||||
\usepackage{graphicx}
|
\usepackage{graphicx}
|
||||||
\usepackage{hyperref}
|
\usepackage{hyperref}
|
||||||
\setcounter{tocdepth}{3}
|
\setcounter{tocdepth}{3}
|
||||||
|
|
|
@ -19,8 +19,12 @@
|
||||||
\RequirePackage{keycommand}
|
\RequirePackage{keycommand}
|
||||||
\RequirePackage{environ}
|
\RequirePackage{environ}
|
||||||
\RequirePackage{graphicx}
|
\RequirePackage{graphicx}
|
||||||
|
\RequirePackage{xspace}
|
||||||
\RequirePackage{fp}
|
\RequirePackage{fp}
|
||||||
\RequirePackage[caption]{subfig}
|
\RequirePackage[caption]{subfig}
|
||||||
|
|
||||||
|
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
||||||
|
|
||||||
% Generic dispatcher
|
% Generic dispatcher
|
||||||
\newkeycommand+[\|]\isaDof[env={UNKNOWN},label=,type={dummyT},args={}][1]{%
|
\newkeycommand+[\|]\isaDof[env={UNKNOWN},label=,type={dummyT},args={}][1]{%
|
||||||
\csname isaDof.\commandkey{env}.\commandkey{type}\endcsname[label=\commandkey{label},\commandkey{args}]{#1}%
|
\csname isaDof.\commandkey{env}.\commandkey{type}\endcsname[label=\commandkey{label},\commandkey{args}]{#1}%
|
||||||
|
|
Loading…
Reference in New Issue