author | Christian Urban <urbanc@in.tum.de> |
Thu, 29 Nov 2018 02:18:05 +0000 | |
changeset 613 | bfd511b7ecbf |
parent 582 | d236e75e1d55 |
permissions | -rw-r--r-- |
295
19f23c4c2167
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
\usepackage{listproc} |
19f23c4c2167
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
\usepackage{plstx} |
19f23c4c2167
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
|
582 | 4 |
\newcommand*{\meta}[1]{{\textbf{\textit{#1}}}} |