Binary file graphview/img/graphbrowser.png has changed

Binary file graphview/img/graphview.png has changed

--- a/graphview/presentation.tex	Sun Oct 14 19:58:20 2012 +0200
+++ b/graphview/presentation.tex	Mon Oct 15 19:23:31 2012 +0200
@@ -107,9 +107,12 @@
 	\begin{columns}[T]
 		\begin{column}{.4\textwidth}
 			\begin{itemize}
-				\item Stefan Berghofer
-				\item Features
-				\item Limits
+				\item By Stefan Berghofer
+				\vspace{1.5em}
+				\item Written in Java
+				\item Shows theory dependencies
+				\item Can Filter Subtrees
+				\item Static Layout
 			\end{itemize}
 		\end{column}
 		\begin{column}{.6\textwidth}
@@ -119,12 +122,24 @@
 \end{frame}
 
 \begin{frame}
+	\frametitle{Task}
+	
+	\begin{itemize}
+		\item Rewrite in Scala
+		\item Integration into Isabelle/jEdit
+		\item Interactive Interface
+		\item Handling of larger graphs
+		\item Better filtering
+		\item Universal graph tool
+	\end{itemize}
+\end{frame}
+
+\begin{frame}
 	\frametitle{Graphview}
 	
 	\begin{columns}[T]
 		\begin{column}{.4\textwidth}
 			\begin{itemize}
-				\item Interactive
 				\item Filters
 				\item Colorations
 				\vspace{1.5em}
@@ -140,12 +155,12 @@
 
 \begin{frame}[plain]	
 	\begin{center}
-		\LARGE DEMO
+		\LARGE Demo
 	\end{center}
 \end{frame}
 
 \begin{frame}
-	\frametitle{Time consumption}
+	\frametitle{Challanges}
 	
 	\begin{itemize}
 		\item Scala, FP concepts
@@ -154,7 +169,43 @@
 		\vspace{2em}		
 		
 		\item JUNG
-		\item Reimplementations
+		\item Reimplementation with Java2D
+	\end{itemize}
+\end{frame}
+
+\begin{frame}
+	\frametitle{JUNG}
+	
+	Java Universal Network/Graph Framework	
+	\vspace{1.5em}
+	\begin{itemize}
+		\item Handles graph representation and visualization
+		\item Result of prior filtering process
+		\item Looked promising from the outside
+	\end{itemize}
+	\vspace{1.5em}
+	But
+	\begin{itemize}
+		\item Dying project
+		\item No good DAG layout-algorithm
+		\item Imperative
+		\item Much boilerplate work
+	\end{itemize}
+\end{frame}
+
+\begin{frame}
+	\frametitle{Reimplementation}
+	
+	Uses
+	\begin{itemize}
+		\item Isabelle's internal graph representation
+		\item Java2D-Visualization
+		
+		\vspace{1.5em}
+		\item Allows for more functional and simpler code
+		\item No external dependencies		
+		\item Halved LOC
+		\item Easier interaction with ML
 	\end{itemize}
 \end{frame}
 
@@ -164,7 +215,7 @@
 	\begin{itemize}
 		\item Faster rendering
 		\item Prettier layout algorithm
-		\item Better integration into isabelle/jEdit
+		\item Better integration into Isabelle/jEdit
 	\end{itemize}
 \end{frame}