# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1348960354 -3600
# Node ID 8ef75033f34eed2d85a4accb3c95767170a46db6
# Parent  6d554a18b81ec96b9edf9e14b3bacf8b8d9bdcf4
tuning

diff -r 6d554a18b81e -r 8ef75033f34e slides01.pdf
Binary file slides01.pdf has changed
diff -r 6d554a18b81e -r 8ef75033f34e slides01.tex
--- a/slides01.tex	Sun Sep 30 00:06:52 2012 +0100
+++ b/slides01.tex	Sun Sep 30 00:12:34 2012 +0100
@@ -359,10 +359,12 @@
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
-\begin{frame}[c]
+\begin{frame}[t]
 \frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}}
 
-\begin{textblock}{6}(2,4)
+Their inductive definition:\medskip
+
+\begin{textblock}{6}(2,5)
   \begin{tabular}{@ {}rrl@ {\hspace{13mm}}l}
   \bl{r} & \bl{$::=$}  & \bl{$\varnothing$}  & null\\
          & \bl{$\mid$} & \bl{$\epsilon$}        & empty string / "" / []\\
@@ -381,6 +383,10 @@
 \begin{frame}[t]
 \frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}}
 
+\small
+In Scala:
+
+
 {\lstset{language=Scala}\fontsize{8}{10}\selectfont
 \texttt{\lstinputlisting{app51.scala}}}
 
@@ -460,8 +466,8 @@
 \begin{itemize}
 \item The question ``Is this relevant for the exam?'' is not appreciated!\bigskip\\
 
-Whatever is in the homework sheets (and is not marked optional) is relevant for the
-exam.\\ No code needs to be written.
+Whatever is in the homework sheets (and is not marked ``optional'') is relevant for the
+exam.\\ No code needs to be written in the exam.
 \end{itemize}
 
 \end{frame}}