
diff -r 4112de132b63 -r 7966a1666bce doc-src/isac/msteger/bakk-presentation.tex
--- a/doc-src/isac/msteger/bakk-presentation.tex	Tue Jun 14 18:03:14 2011 +0200
+++ b/doc-src/isac/msteger/bakk-presentation.tex	Wed Jun 15 21:55:45 2011 +0200
@@ -97,13 +97,13 @@
 \section[Stutus quo]{Ausgangssituation: das k\"unftige Isabelle Front-end}
 \subsection[Scala-Layer]{Die Konzeption des Scala-Layers}
 \begin{frame}\frametitle{Die Konzeption des Scala-Layers}
-\begin{figure}
-\begin{center}
-\includegraphics[width=75mm]{fig/archi/fig-reuse-ml-scala-SD}
-\end{center}
-%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.}
-\label{fig-reuse-ml-scala}
-\end{figure}
+%\begin{figure}
+%\begin{center}
+%\includegraphics[width=75mm]{fig/archi/fig-reuse-ml-scala-SD}
+%\end{center}
+%%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.}
+%\label{fig-reuse-ml-scala}
+%\end{figure}
 \end{frame}
 
 \begin{frame}\frametitle{Kommunikationsprotokoll \\Scala --- SML}
@@ -286,6 +286,56 @@
 \end{frame}
 
 \subsection[NetBeans]{Aufsetzen des Projektes in der NetBeans IDE}
+\begin{frame}\frametitle{Grundlegender Aufbau eines jEdit-Plugin}
+\begin{itemize}
+\item Ein Plugin besteht aus:
+\pause
+	\begin{itemize}
+	\item Source-Files: \textbf{Scala} 
+	\pause
+	\item Property file 
+	\pause
+	\item XML-Files: \textit{Klebstoff} zwischen \textbf{Java} (Editor) und \textbf{Scala} (Plugin)
+	\end{itemize}
+\pause
+\item Bestehendes Java-Plugin in Scala transferieren
+\pause
+\item Neue Ordnerstruktur in bestehende Isabelle-Ordner-Hierachie integrieren
+\end{itemize}
+\end{frame}
+
+\begin{frame}\frametitle{Die Konzeption des Scala-Layers}
+\begin{figure}
+\begin{center}
+\includegraphics[width=75mm]{fig/block-frontend}
+\end{center}
+%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.}
+\label{Frontend des jEdit}
+\end{figure}
+\end{frame}
+
+\begin{frame}\frametitle{Anforderungen an das Versuchs-Plugin}
+Folgende Funktionalit\"at wurde zu Testzwecken umgesetzt:
+\pause
+\begin{itemize}
+	\item Grunds\"atzlicher Aufbau eines GUIs
+	\pause
+	\item Kopieren von Text zwischen den einzelnen Buffern
+	\pause
+		\begin{itemize}
+		\item \alert{Somit auch Zugriff auf andere Plugins!}
+		\end{itemize}
+	\pause
+	\item Ansatz f\"ur die Einbindung des SD-Parsers
+	\pause
+		\begin{itemize}
+		\item Zugriff auf Isabelle-Pure: \alert{parsen von SD parallel zu Isabelle/Isar}
+		\end{itemize}
+	\pause
+	\item \textit{DEMO}
+\end{itemize}
+\end{frame}
+
 \subsection[Implementation]{Komponenten zur  von SD}
 \subsection[Parser]{Ein funktionaler Parser f\"ur SD (in SML)}
 




