| changeset 242 | 35104ee14f87 |
| parent 239 | 68d98140b90b |
| child 254 | dcd4688690ce |
| 241:10f02605a46a | 242:35104ee14f87 |
|---|---|
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}}} |
64 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}} |
65 \makeatother |