| changeset 239 | 68d98140b90b |
| parent 238 | 527fdb90fffe |
| child 242 | 35104ee14f87 |
| 238:527fdb90fffe | 239:68d98140b90b |
|---|---|
59 \lstset{language=Scala, |
59 \lstset{language=Scala, |
60 style=mystyle} |
60 style=mystyle} |
61 |
61 |
62 |
62 |
63 \newcommand{\code}[1]{{\lstinline{#1}}} |
63 \newcommand{\code}[1]{{\lstinline{#1}}} |
64 \newcommand{\pcode}[1]{{\lstset{language={},keywordstyle=\color{black}}\lstinline{#1}}} |