2019-09-23 16:14:34 +02:00
|
|
|
\newcommand{\minitoc}[1][Contents]{%
|
|
|
|
|
\etocsettocstyle{\addsec*{#1}}{}%
|
|
|
|
|
\localtableofcontents%
|
|
|
|
|
}
|
|
|
|
|
|
2019-06-17 17:15:12 +02:00
|
|
|
\newcommand{\written}[1]{{\noindent\color{Green}Things written in #1}}
|
|
|
|
|
\newcommand{\unpublished}[1]{{\noindent\color{Green}Things written but not published in #1}}
|
|
|
|
|
\newcommand{\missing}[1]{{\noindent\color{Red}Missing #1}}
|
2019-08-27 10:46:00 +02:00
|
|
|
|
|
|
|
|
\newcommand{\argmax}[1]{\underset{#1}{\mathrm{argmax}\ }}
|
2019-08-29 16:51:42 +02:00
|
|
|
|
2019-10-07 10:32:32 +02:00
|
|
|
\let\rawhref\href%
|
|
|
|
|
\renewcommand{\href}[2]{\rawhref{#1}{#2}\footnote{\url{#1}}}
|
2019-10-10 12:03:42 +02:00
|
|
|
|
2019-10-16 12:16:27 +02:00
|
|
|
\newcommand\notsotiny{\@setfontsize\notsotiny\@viiipt\@ixpt}
|
