1.1 --- a/doc-src/isac/msteger/bakk-presentation.tex	Fri Apr 29 12:53:46 2011 +0200
     1.2 +++ b/doc-src/isac/msteger/bakk-presentation.tex	Fri Apr 29 13:00:34 2011 +0200
     1.3 @@ -117,11 +117,13 @@
     1.4  \subsection[Scala]{Scala und ``Actors''}
     1.5  \subsection[jEdit]{jEdit und ``Plugins''}
     1.6  \subsection[Integration]{Integration von Scala und ML}
     1.7 -\subsection[Parsen]{Parsen von Isar-Texten}
     1.8  
     1.9  \section[NetBeans]{Installation der Komponenten in NetBeans}
    1.10  \subsection[TODO]{TODO}
    1.11  
    1.12 +\section[NetBeans]{Vorbereitung f\"ur ``structured derivations''}
    1.13 +\subsection[Parsen]{Parsen von Isar-Texten}
    1.14 +
    1.15  \section*{Summary}
    1.16  \begin{frame}
    1.17    \frametitle<presentation>{Summary}