# HG changeset patch # User urbanc # Date 1314088971 0 # Node ID bef3af148df5a319c1015fa6335a3c3ed1fccb8f # Parent 69c22ded2f494b74b412b56eb9b488898af6baf4 more on the slides diff -r 69c22ded2f49 -r bef3af148df5 Slides/Slides1.thy --- a/Slides/Slides1.thy Tue Aug 23 08:11:25 2011 +0000 +++ b/Slides/Slides1.thy Tue Aug 23 08:42:51 2011 +0000 @@ -302,6 +302,18 @@ \end{center} \end{itemize} + \only<2-> + \begin{textblock}{9.9}(0.7,1.2) + \begin{block}{} + \begin{minipage}{9.4cm}\raggedright + Two directions:\smallskip\\ + + 1.) \\ + 2.) \\ + \end{minipage} + \end{block} + \end{textblock}} + \end{frame}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%