forked from Isabelle_DOF/Isabelle_DOF
Added missing section definitions.
This commit is contained in:
parent
243545be5d
commit
447208365f
|
@ -37,6 +37,14 @@
|
|||
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
||||
\newkeycommand\isaDofSectionTextsection[label=,type=,main_author=,fixme_list=][1]{%
|
||||
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
||||
\newkeycommand\isaDofSectionRelatedwork[label=,type=,main_author=,fixme_list=][1]{%
|
||||
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
||||
\newkeycommand\isaDofSubSectionIntroduction[label=,type=][1]{%
|
||||
\isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
@ -53,6 +61,13 @@
|
|||
\isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
||||
\newkeycommand\isaDofSubSectionTextsection[label=,type=,main_author=,fixme_list=][1]{%
|
||||
\isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
||||
\newkeycommand\isaDofSubSectionRelatedwork[label=,type=,main_author=,fixme_list=][1]{%
|
||||
\isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
|
||||
\newkeycommand\isaDofTextIntroduction[label=,type=,keywordlist=][1]{%
|
||||
\begin{isamarkuptext}%
|
||||
|
|
Reference in New Issue