forked from Isabelle_DOF/Isabelle_DOF
Fixed section.
This commit is contained in:
parent
2bd8a04b34
commit
426f638e11
|
@ -133,14 +133,14 @@
|
|||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
% begin: scholarly_paper.introduction
|
||||
\expandafter\newkeycommand\csname isaDof.section.scholarly_paper.introduction_title\endcsname%
|
||||
\expandafter\newkeycommand\csname isaDof.section.scholarly_paper.introduction\endcsname%
|
||||
[label=,type=%
|
||||
,scholarly_paper.introduction.main_author=%
|
||||
,scholarly_paper.introduction.fixme_list=%
|
||||
][1]{%
|
||||
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||
}
|
||||
\expandafter\newkeycommand\csname isaDof.subsection.scholarly_paper.introduction_title\endcsname%
|
||||
\expandafter\newkeycommand\csname isaDof.subsection.scholarly_paper.introduction\endcsname%
|
||||
[label=,type=%
|
||||
,scholarly_paper.introduction.main_author=%
|
||||
,scholarly_paper.introduction.fixme_list=%
|
||||
|
|
Reference in New Issue