Mercurial > latex

changeset 63:37fc18a4d001

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
wording
author Markus Kaiser <markus.kaiser@in.tum.de>
date Sun, 09 Dec 2012 20:47:01 +0100
parents 9749305c4380
children 38dc4aa2a554
files graphview/presentation.pdf graphview/presentation.tex
diffstat 2 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
Binary file graphview/presentation.pdf has changed
--- a/graphview/presentation.tex	Sun Dec 09 20:45:44 2012 +0100
+++ b/graphview/presentation.tex	Sun Dec 09 20:47:01 2012 +0100
@@ -33,7 +33,7 @@
   \item[]}{\end{list}}
 
 \title{Graphview}
-\subtitle{Isabelle visualization tool}
+\subtitle{Graph visualization tool for Isabelle}
 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} 
 %\date{\today}
 \date{2012-10-17}
@@ -102,12 +102,12 @@
 	
 	\begin{itemize}
 		\item Rewrite in Scala
+		\item Integration into Isabelle/jEdit		
 		\item Universal graph tool		
 		\item Extension to locale dependencies
 		\item Handling of larger graphs
 		\item Better filtering		
-		\item Interactive interface
-		\item Integration into Isabelle/jEdit		
+		\item Interactive interface	
 	\end{itemize}
 \end{frame}
 
@@ -119,10 +119,10 @@
 			\begin{itemize}
 				\item jEdit dockable or stand-alone
 				\item Displays DAGs
+				\item Flexible tooltips				
 				\vspace{1.5em}
 				\item Filters
 				\item Colorations
-				\item Flexible tooltips
 			\end{itemize}
 		\end{column}
 		\begin{column}{.6\textwidth}
@@ -138,7 +138,7 @@
 \end{frame}
 
 \begin{frame}
-	\frametitle{Challanges}
+	\frametitle{Challenge}
 	
 	\begin{itemize}
 		\item Scala, FP concepts
@@ -157,8 +157,8 @@
 	Java Universal Network/Graph Framework	
 	\vspace{1.5em}
 	\begin{itemize}
+		\item Selected after Lars Hupel's evaluation 	
 		\item Handles graph representation and visualization
-		\item Selected after Lars Hupel's evaluation 
 		\item Looked promising from the outside
 	\end{itemize}
 	\vspace{1.5em}