--- a/graphview/presentation.tex	Mon Oct 15 19:23:31 2012 +0200
+++ b/graphview/presentation.tex	Tue Oct 16 23:16:06 2012 +0200
@@ -20,14 +20,6 @@
 
 %\bibliographystyle{plainnat}
 
-\newcommand{\N}       {\mathbb{N}}          % natürliche Zahlen
-\newcommand{\Z}       {\mathbb{Z}}          % ganze Zahlen
-\newcommand{\R}       {\mathbb{R}}          % reelle Zahlen
-\newcommand{\Prob}    {\mathrm{P}}          % Wahrscheinlichkeit
-\newcommand{\inter}   {\cap}                % Schnittmenge
-\newcommand{\union}   {\cup}                % Vereinigung
-\newcommand{\Oh}      {\mathcal{O}}         % O-Notation (Landau-Symbole)
-\newcommand{\mycite}[1]{\textcolor{tumgreen}{[#1]}} 
 
 \newenvironment{changemargin}[2]{% 
   \begin{list}{}{%
@@ -40,22 +32,6 @@
   }%
   \item[]}{\end{list}}
 
-
-\usetikzlibrary{shapes.geometric}
-\pgfdeclarelayer{background}
-\pgfdeclarelayer{midground}
-\pgfsetlayers{background,midground,main}
-\tikzstyle{vertex}=[circle,draw,fill=blue!25,minimum size=20pt,inner sep=0pt]
-\tikzstyle{selected vertex} = [vertex, fill=red!50]
-\tikzstyle{small vertex} = [vertex, minimum size=12pt]
-\tikzstyle{edge} = [draw,thick,-]
-\tikzstyle{tree edge} = [draw,very thick,->]
-\tikzstyle{left edge} = [draw,thick,->, blue]
-\tikzstyle{right edge} = [draw,thick,->, red]
-\tikzstyle{back edge} = [draw,dashed,arrows={-latex}]
-\tikzstyle{selected edge} = [draw,line width=5pt,-,red!50]
-
-
 \title{Graphview}
 \subtitle{Isabelle visualization tool}
 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} 
@@ -111,8 +87,8 @@
 				\vspace{1.5em}
 				\item Written in Java
 				\item Shows theory dependencies
-				\item Can Filter Subtrees
-				\item Static Layout
+				\item Can filter subtrees
+				\item Static layout
 			\end{itemize}
 		\end{column}
 		\begin{column}{.6\textwidth}
@@ -126,11 +102,12 @@
 	
 	\begin{itemize}
 		\item Rewrite in Scala
-		\item Integration into Isabelle/jEdit
-		\item Interactive Interface
+		\item Universal graph tool		
+		\item Extension to locale dependencies
 		\item Handling of larger graphs
-		\item Better filtering
-		\item Universal graph tool
+		\item Better filtering		
+		\item Interactive interface
+		\item Integration into Isabelle/jEdit		
 	\end{itemize}
 \end{frame}
 
@@ -140,11 +117,12 @@
 	\begin{columns}[T]
 		\begin{column}{.4\textwidth}
 			\begin{itemize}
+				\item jEdit dockable or stand-alone
+				\item Displays DAGs
+				\vspace{1.5em}
 				\item Filters
 				\item Colorations
-				\vspace{1.5em}
-				\item Axioms
-				\item Parameters
+				\item Flexible tooltips
 			\end{itemize}
 		\end{column}
 		\begin{column}{.6\textwidth}
@@ -180,7 +158,7 @@
 	\vspace{1.5em}
 	\begin{itemize}
 		\item Handles graph representation and visualization
-		\item Result of prior filtering process
+		\item Selected after Lars Hupel's evaluation 
 		\item Looked promising from the outside
 	\end{itemize}
 	\vspace{1.5em}
@@ -199,10 +177,10 @@
 	Uses
 	\begin{itemize}
 		\item Isabelle's internal graph representation
-		\item Java2D-Visualization
+		\item Java2D-visualization
 		
 		\vspace{1.5em}
-		\item Allows for more functional and simpler code
+		\item More functional and simpler code
 		\item No external dependencies		
 		\item Halved LOC
 		\item Easier interaction with ML
@@ -215,6 +193,7 @@
 	\begin{itemize}
 		\item Faster rendering
 		\item Prettier layout algorithm
+		\item Content-based filters
 		\item Better integration into Isabelle/jEdit
 	\end{itemize}
 \end{frame}