forked from Isabelle_DOF/Isabelle_DOF
Bug fix: no use of commandkey for accessing regular arguments.
This commit is contained in:
parent
86653eff41
commit
6a4712a9b0
|
@ -50,15 +50,15 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
\newkeycommand\isaDofTextHeader[label=,type=,examSubject=,date=,timeAllowed=][1]{%
|
\newkeycommand\isaDofTextHeader[label=,type=,examSubject=,date=,timeAllowed=][1]{%
|
||||||
\immediate\write\@auxout{\noexpand\title{\commandkey{#1}}}%
|
\immediate\write\@auxout{\noexpand\title{#1}}%
|
||||||
}
|
}
|
||||||
|
|
||||||
\newkeycommand\isaDofSectionHeader[label=,type=,examSubject=,date=,timeAllowed=][1]{%
|
\newkeycommand\isaDofSectionHeader[label=,type=,examSubject=,date=,timeAllowed=][1]{%
|
||||||
\immediate\write\@auxout{\noexpand\title{\commandkey{#1}}}%
|
\immediate\write\@auxout{\noexpand\title{#1}}%
|
||||||
}
|
}
|
||||||
|
|
||||||
\newkeycommand\isaDofSubsectionHeader[label=,type=,examSubject=,date=,timeAllowed=][1]{%
|
\newkeycommand\isaDofSubsectionHeader[label=,type=,examSubject=,date=,timeAllowed=][1]{%
|
||||||
\immediate\write\@auxout{\noexpand\title{\commandkey{#1}}}%
|
\immediate\write\@auxout{\noexpand\title{#1}}%
|
||||||
}
|
}
|
||||||
|
|
||||||
\newkeycommand\isaDofTextAnswerFormalStep[label=,type=,justification=,term=][1]{%
|
\newkeycommand\isaDofTextAnswerFormalStep[label=,type=,justification=,term=][1]{%
|
||||||
|
|
Reference in New Issue