forked from Isabelle_DOF/Isabelle_DOF
Support of section_title and section_elem.
This commit is contained in:
parent
bfdb5e5260
commit
1fa3a531d6
|
@ -133,21 +133,21 @@
|
||||||
|
|
||||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
% begin: scholarly_paper.introduction
|
% begin: scholarly_paper.introduction
|
||||||
\expandafter\newkeycommand\csname isaDof.section.scholarly_paper.introduction\endcsname%
|
\expandafter\newkeycommand\csname isaDof.section.scholarly_paper.introduction_title\endcsname%
|
||||||
[label=,type=%
|
[label=,type=%
|
||||||
,scholarly_paper.introduction.main_author=%
|
,scholarly_paper.introduction.main_author=%
|
||||||
,scholarly_paper.introduction.fixme_list=%
|
,scholarly_paper.introduction.fixme_list=%
|
||||||
][1]{%
|
][1]{%
|
||||||
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||||
}
|
}
|
||||||
\expandafter\newkeycommand\csname isaDof.subsection.scholarly_paper.introduction\endcsname%
|
\expandafter\newkeycommand\csname isaDof.subsection.scholarly_paper.introduction_title\endcsname%
|
||||||
[label=,type=%
|
[label=,type=%
|
||||||
,scholarly_paper.introduction.main_author=%
|
,scholarly_paper.introduction.main_author=%
|
||||||
,scholarly_paper.introduction.fixme_list=%
|
,scholarly_paper.introduction.fixme_list=%
|
||||||
][1]{%
|
][1]{%
|
||||||
\isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
\isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
||||||
}
|
}
|
||||||
\expandafter\newkeycommand\csname isaDof.text.scholarly_paper.introduction\endcsname%
|
\expandafter\newkeycommand\csname isaDof.text.scholarly_paper.introduction_elem\endcsname%
|
||||||
[label=,type=%
|
[label=,type=%
|
||||||
,scholarly_paper.introduction.main_author=%
|
,scholarly_paper.introduction.main_author=%
|
||||||
,scholarly_paper.introduction.fixme_list=%
|
,scholarly_paper.introduction.fixme_list=%
|
||||||
|
|
Reference in New Issue