equal
deleted
inserted
replaced
34 \end{center} |
34 \end{center} |
35 |
35 |
36 \end{frame} |
36 \end{frame} |
37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
38 |
38 |
39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
40 \begin{frame}[c] |
|
41 |
|
42 \mbox{}\\[-18mm]\mbox{} |
|
43 |
|
44 {\lstset{language=Scala}\fontsize{10}{12}\selectfont |
|
45 \texttt{\lstinputlisting[xleftmargin=0mm]{../progs/pow.scala}}} |
|
46 |
|
47 \end{frame} |
|
48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
49 |
39 |
50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
51 \begin{frame}[c] |
41 \begin{frame}[c] |
52 \small |
42 \small |
53 \mbox{}\\[5mm] |
43 \mbox{}\\[5mm] |