| author | Christian Urban <christian dot urban at kcl dot ac dot uk> | 
| Wed, 03 Sep 2014 14:57:43 +0100 | |
| changeset 238 | 527fdb90fffe | 
| parent 237 | 370c0647a9bf | 
| child 239 | 68d98140b90b | 
| permissions | -rw-r--r-- | 
| 218 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 1 | \usepackage{listings}
 | 
| 238 
527fdb90fffe
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
237diff
changeset | 2 | \usepackage{etoolbox}
 | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 3 | \setmonofont[Scale=.95]{Consolas}
 | 
| 218 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 4 | \newfontfamily{\consolas}{Consolas}
 | 
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 5 | |
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 6 | \definecolor{codered}{rgb}{0.6,0,0}            % for strings
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 7 | \definecolor{codegreen}{rgb}{0.25,0.5,0.35}    % comments
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 8 | \definecolor{codepurple}{rgb}{0.5,0,0.35}      % keywords
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 9 | \definecolor{codedocblue}{rgb}{0.25,0.35,0.75} % doc
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 10 | \definecolor{codeblue}{rgb}{0.25,0.35,0.75}    % types
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 11 | |
| 238 
527fdb90fffe
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
237diff
changeset | 12 | \BeforeBeginEnvironment{lstlisting}{\par\noindent\begin{minipage}{\linewidth}}
 | 
| 
527fdb90fffe
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
237diff
changeset | 13 | \AfterEndEnvironment{lstlisting}{\end{minipage}\par}
 | 
| 218 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 14 | |
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 15 | \lstdefinelanguage{Scala}{
 | 
| 237 
370c0647a9bf
more material
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
235diff
changeset | 16 |   morekeywords={abstract,case,catch,class,def,%
 | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 17 | do,else,extends,false,final,finally,% | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 18 | for,if,implicit,import,match,mixin,% | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 19 | new,null,object,override,package,% | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 20 | private,protected,requires,return,sealed,% | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 21 | super,this,throw,trait,true,try,% | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 22 | type,val,var,while,with,yield},% | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 23 |   otherkeywords={=>,<-,<\%,<:,>:,\#,@},%
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 24 | sensitive=true,% | 
| 235 
bc460179148c
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
234diff
changeset | 25 |   %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},%
 | 
| 
bc460179148c
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
234diff
changeset | 26 | %moredelim=*[directive]:,% | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 27 |   morecomment=[l]{//},%
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 28 |   morecomment=[n]{/*}{*/},
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 29 | morestring=[b]", | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 30 | morestring=[b]', | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 31 | morestring=[b]""" | 
| 235 
bc460179148c
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
234diff
changeset | 32 | }[keywords,comments,strings] | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 33 | |
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 34 | \lstdefinelanguage{While}{
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 35 |   morekeywords={if,then,else,while,do,true,false,write,upto,for,skip},
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 36 |   otherkeywords={=,!=,:=,<,>,;},
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 37 | sensitive=true, | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 38 |   morecomment=[n]{/*}{*/},
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 39 | } | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 40 | |
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 41 | \lstdefinestyle{mystyle}
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 42 |        {basicstyle=\ttfamily,
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 43 | 	keywordstyle=\color{codepurple}\bfseries,
 | 
| 235 
bc460179148c
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
234diff
changeset | 44 |         %directivestyle=\color{codeblue}\bfseries,
 | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 45 | 	stringstyle=\color{codegreen},
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 46 | 	commentstyle=\color{codegreen},
 | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 47 | 	morecomment=[s][\color{codedocblue}]{/**}{*/},
 | 
| 218 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 48 | numbers=left, | 
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 49 | 	numberstyle=\tiny\color{black},
 | 
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 50 | stepnumber=1, | 
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 51 | numbersep=10pt, | 
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 52 | tabsize=2, | 
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 53 | showspaces=false, | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 54 | showstringspaces=false, | 
| 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 55 | xleftmargin=8mm, | 
| 237 
370c0647a9bf
more material
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
235diff
changeset | 56 |         emphstyle=\color{codeblue}\bfseries,
 | 
| 
370c0647a9bf
more material
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
235diff
changeset | 57 | keepspaces} | 
| 218 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 58 | |
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 59 | \lstset{language=Scala,
 | 
| 234 
bf7eecc9cefe
updated scala ho
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
230diff
changeset | 60 | style=mystyle} | 
| 218 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 61 | |
| 
8f3f8d82da8b
added two new packages
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 62 | |
| 237 
370c0647a9bf
more material
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
235diff
changeset | 63 | \newcommand{\code}[1]{{\lstinline{#1}}}
 |