1.1 --- a/doc-src/isac/msteger/bakk-presentation.tex	Tue Jun 14 18:03:14 2011 +0200
     1.2 +++ b/doc-src/isac/msteger/bakk-presentation.tex	Wed Jun 15 21:55:45 2011 +0200
     1.3 @@ -97,13 +97,13 @@
     1.4  \section[Stutus quo]{Ausgangssituation: das k\"unftige Isabelle Front-end}
     1.5  \subsection[Scala-Layer]{Die Konzeption des Scala-Layers}
     1.6  \begin{frame}\frametitle{Die Konzeption des Scala-Layers}
     1.7 -\begin{figure}
     1.8 -\begin{center}
     1.9 -\includegraphics[width=75mm]{fig/archi/fig-reuse-ml-scala-SD}
    1.10 -\end{center}
    1.11 -%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.}
    1.12 -\label{fig-reuse-ml-scala}
    1.13 -\end{figure}
    1.14 +%\begin{figure}
    1.15 +%\begin{center}
    1.16 +%\includegraphics[width=75mm]{fig/archi/fig-reuse-ml-scala-SD}
    1.17 +%\end{center}
    1.18 +%%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.}
    1.19 +%\label{fig-reuse-ml-scala}
    1.20 +%\end{figure}
    1.21  \end{frame}
    1.22  
    1.23  \begin{frame}\frametitle{Kommunikationsprotokoll \\Scala --- SML}
    1.24 @@ -286,6 +286,56 @@
    1.25  \end{frame}
    1.26  
    1.27  \subsection[NetBeans]{Aufsetzen des Projektes in der NetBeans IDE}
    1.28 +\begin{frame}\frametitle{Grundlegender Aufbau eines jEdit-Plugin}
    1.29 +\begin{itemize}
    1.30 +\item Ein Plugin besteht aus:
    1.31 +\pause
    1.32 +	\begin{itemize}
    1.33 +	\item Source-Files: \textbf{Scala} 
    1.34 +	\pause
    1.35 +	\item Property file 
    1.36 +	\pause
    1.37 +	\item XML-Files: \textit{Klebstoff} zwischen \textbf{Java} (Editor) und \textbf{Scala} (Plugin)
    1.38 +	\end{itemize}
    1.39 +\pause
    1.40 +\item Bestehendes Java-Plugin in Scala transferieren
    1.41 +\pause
    1.42 +\item Neue Ordnerstruktur in bestehende Isabelle-Ordner-Hierachie integrieren
    1.43 +\end{itemize}
    1.44 +\end{frame}
    1.45 +
    1.46 +\begin{frame}\frametitle{Die Konzeption des Scala-Layers}
    1.47 +\begin{figure}
    1.48 +\begin{center}
    1.49 +\includegraphics[width=75mm]{fig/block-frontend}
    1.50 +\end{center}
    1.51 +%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.}
    1.52 +\label{Frontend des jEdit}
    1.53 +\end{figure}
    1.54 +\end{frame}
    1.55 +
    1.56 +\begin{frame}\frametitle{Anforderungen an das Versuchs-Plugin}
    1.57 +Folgende Funktionalit\"at wurde zu Testzwecken umgesetzt:
    1.58 +\pause
    1.59 +\begin{itemize}
    1.60 +	\item Grunds\"atzlicher Aufbau eines GUIs
    1.61 +	\pause
    1.62 +	\item Kopieren von Text zwischen den einzelnen Buffern
    1.63 +	\pause
    1.64 +		\begin{itemize}
    1.65 +		\item \alert{Somit auch Zugriff auf andere Plugins!}
    1.66 +		\end{itemize}
    1.67 +	\pause
    1.68 +	\item Ansatz f\"ur die Einbindung des SD-Parsers
    1.69 +	\pause
    1.70 +		\begin{itemize}
    1.71 +		\item Zugriff auf Isabelle-Pure: \alert{parsen von SD parallel zu Isabelle/Isar}
    1.72 +		\end{itemize}
    1.73 +	\pause
    1.74 +	\item \textit{DEMO}
    1.75 +\end{itemize}
    1.76 +\end{frame}
    1.77 +
    1.78  \subsection[Implementation]{Komponenten zur  von SD}
    1.79  \subsection[Parser]{Ein funktionaler Parser f\"ur SD (in SML)}
    1.80