slides/slides10.tex
changeset 146 6f884231ca57
parent 90 d1d07f05325a
child 152 0c62ec6dc691
equal deleted inserted replaced
145:279fa5a06231 146:6f884231ca57
    38 \renewcommand{\isachargreater}{$\rangle$}
    38 \renewcommand{\isachargreater}{$\rangle$}
    39 \renewcommand{\isasymsharp}{\isamath{\#}}
    39 \renewcommand{\isasymsharp}{\isamath{\#}}
    40 \renewcommand{\isasymdots}{\isamath{...}}
    40 \renewcommand{\isasymdots}{\isamath{...}}
    41 \renewcommand{\isasymbullet}{\act}
    41 \renewcommand{\isasymbullet}{\act}
    42 
    42 
    43 
       
    44 
       
    45 \definecolor{javared}{rgb}{0.6,0,0} % for strings
       
    46 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments
       
    47 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords
       
    48 \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc
       
    49 
       
    50 \lstset{language=Java,
       
    51 	basicstyle=\ttfamily,
       
    52 	keywordstyle=\color{javapurple}\bfseries,
       
    53 	stringstyle=\color{javagreen},
       
    54 	commentstyle=\color{javagreen},
       
    55 	morecomment=[s][\color{javadocblue}]{/**}{*/},
       
    56 	numbers=left,
       
    57 	numberstyle=\tiny\color{black},
       
    58 	stepnumber=1,
       
    59 	numbersep=10pt,
       
    60 	tabsize=2,
       
    61 	showspaces=false,
       
    62 	showstringspaces=false}
       
    63 
       
    64 \lstdefinelanguage{scala}{
       
    65   morekeywords={abstract,case,catch,class,def,%
       
    66     do,else,extends,false,final,finally,%
       
    67     for,if,implicit,import,match,mixin,%
       
    68     new,null,object,override,package,%
       
    69     private,protected,requires,return,sealed,%
       
    70     super,this,throw,trait,true,try,%
       
    71     type,val,var,while,with,yield},
       
    72   otherkeywords={=>,<-,<\%,<:,>:,\#,@},
       
    73   sensitive=true,
       
    74   morecomment=[l]{//},
       
    75   morecomment=[n]{/*}{*/},
       
    76   morestring=[b]",
       
    77   morestring=[b]',
       
    78   morestring=[b]"""
       
    79 }
       
    80 
       
    81 \lstset{language=Scala,
       
    82 	basicstyle=\ttfamily,
       
    83 	keywordstyle=\color{javapurple}\bfseries,
       
    84 	stringstyle=\color{javagreen},
       
    85 	commentstyle=\color{javagreen},
       
    86 	morecomment=[s][\color{javadocblue}]{/**}{*/},
       
    87 	numbers=left,
       
    88 	numberstyle=\tiny\color{black},
       
    89 	stepnumber=1,
       
    90 	numbersep=10pt,
       
    91 	tabsize=2,
       
    92 	showspaces=false,
       
    93 	showstringspaces=false}
       
    94 
       
    95 % beamer stuff 
    43 % beamer stuff 
    96 \renewcommand{\slidecaption}{APP 09, King's College London, 27 November 2012}
    44 \renewcommand{\slidecaption}{APP 09, King's College London, 3 December 2013}
    97 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
    45 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
    98 \newcommand{\bl}[1]{\textcolor{blue}{#1}}
    46 \newcommand{\bl}[1]{\textcolor{blue}{#1}}
    99 
    47 
   100 \begin{document}
    48 \begin{document}
   101 
    49