| changeset 510 | 9eeb7516a656 | 
| parent 507 | cad74869895b | 
| child 512 | 56550ad904d8 | 
| 509:b96f44755c51 | 510:9eeb7516a656 | 
|---|---|
1120 \begin{textblock}{9}(0.5,8)  | 
1120 \begin{textblock}{9}(0.5,8)  | 
1121 \begin{bubble}[11.8cm]  | 
1121 \begin{bubble}[11.8cm]  | 
1122 \lstinputlisting[numbers=none]{../progs/app52.scala}  | 
1122 \lstinputlisting[numbers=none]{../progs/app52.scala}  | 
1123 \end{bubble}  | 
1123 \end{bubble}  | 
1124 \end{textblock}}  | 
1124 \end{textblock}}  | 
1125  | 
1125  | 
1126  | 
1126  | 
1127 \end{frame}  | 
1127 \end{frame}  | 
1128  | 
1128  | 
1129 \end{document}  | 
1129 \end{document}  | 
1130  | 
1130  |