--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/graphview/beamerthemeLEA2.sty	Sun Oct 14 19:58:20 2012 +0200
@@ -0,0 +1,60 @@
+\ProvidesPackage{beamerthemeLEA2}
+
+\xdefinecolor{tumblue}     {RGB}{  0,101,189}
+\xdefinecolor{tumgreen}    {RGB}{162,173,  0}
+\xdefinecolor{tumred}      {RGB}{229, 52, 24}
+\xdefinecolor{tumivory}    {RGB}{218,215,203}
+\xdefinecolor{tumorange}   {RGB}{227,114, 34}
+\xdefinecolor{tumlightblue}{RGB}{152,198,234}
+
+%% shadow, font, color, outer, inner
+%% normal text, alerted text, example text, structure
+
+\useoutertheme{split}
+
+\setbeamercolor{normal text}{fg=black,bg=white}
+\setbeamercolor{alerted text}{fg=tumred,bg=white}
+\setbeamercolor{example text}{fg=tumgreen,bg=white}
+\setbeamercolor{structure}{fg=tumblue,bg=white}
+\setbeamercolor{titlelike}{fg=tumblue}
+\setbeamercolor{subtitle}{fg=black}
+\setbeamerfont{title}{series=\bfseries}
+
+\setbeamertemplate{sections/subsections in toc}[square]
+\setbeamertemplate{items}[square]
+\setbeamertemplate{navigation symbols}[only frame symbol]
+
+\setbeamertemplate{blocks}[default]
+
+\setbeamercolor{block title}        {use=normal text, fg=black,bg=tumlightblue}
+\setbeamercolor{block title alerted}{use=alerted text,fg=white,bg=alerted text.fg}
+\setbeamercolor{block title example}{use=example text,fg=white,bg=example text.fg}
+
+\setbeamercolor{block body}        {parent=normal text,use=block title,        bg=block title.bg!25!bg}
+\setbeamercolor{block body alerted}{parent=normal text,use=block title alerted,bg=block title.bg!25!bg}
+\setbeamercolor{block body example}{parent=normal text,use=block title example,bg=block title example.bg!15!bg}
+
+\pgfdeclareimage[height=5mm]{uni}{TU_Muenchen_Logo_Breit}
+\logo{\pgfuseimage{uni}}
+
+\defbeamertemplate*{footline}{infolines theme}{%
+	%\hspace*{2ex}\raisebox{1.5ex}[-1.5ex]{%
+	%\tiny\insertframenumber{}/\inserttotalframenumber \hspace{5mm} \insertnavigation{0.8\paperwidth}}%
+}
+
+\setbeamertemplate{frametitle}{
+	\begin{beamercolorbox}[wd=80mm,leftskip=0mm]{frametitle}
+		\usebeamerfont*{frametitle}
+		\insertframetitle\hfill\parbox{10mm}{\vspace{-2mm}\insertlogo}\hspace{-2mm}
+	\end{beamercolorbox}
+	\vspace{-3mm}\textcolor{tumblue}{\noindent\rule{\textwidth}{0.4px}}
+}
+% hier kein Logo
+\setbeamertemplate{sidebar right}{\vfill\vskip2pt\llap{\usebeamertemplate***{navigation symbols}\hskip1mm}\vskip2pt}
+
+\setbeamertemplate{headline}{}
+
+\setbeamercovered{transparent}
+
+% removed escapeinside=
+\lstset{numbers=left, numberstyle=\tiny, numbersep=5pt, basicstyle=\small, backgroundcolor=\color{tumlightblue}}

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/graphview/presentation.tex	Sun Oct 14 19:58:20 2012 +0200
@@ -0,0 +1,176 @@
+\documentclass[compress]{beamer}
+%,hyperref={pdfpagelabels=false}
+
+\usepackage[ngerman,english]{babel}
+\usepackage[T1]{fontenc}
+\usepackage[utf8]{inputenc}
+\usepackage{amsmath}
+\usepackage{amsthm}
+\usepackage{amsfonts}
+\usepackage{helvet}
+\usepackage{url}
+\usepackage{listings}
+\usepackage{xcolor}
+\usepackage{xspace} % Abstand hinter Variablennamen
+\usepackage{fix-cm}
+\usepackage{tikz}
+%\usepackage[square, sort, numbers, authoryear]{natbib}
+
+\usepackage{beamerthemeLEA2}
+
+%\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}{}{%
+    \setlength{\topsep}{0pt}%
+    \setlength{\leftmargin}{#1}%
+    \setlength{\rightmargin}{#2}%
+    \setlength{\listparindent}{\parindent}%
+    \setlength{\itemindent}{\parindent}%
+    \setlength{\parsep}{\parskip}%
+  }%
+  \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}} 
+%\date{\today}
+\date{2012-10-17}
+\institute{Technische Universität München}
+%Inhaltsverzeichnis zu Begin von jedem Abschnitt einblenden?
+%\AtBeginSection[]{
+%  \begin{frame}
+%    \frametitle{Outline}
+%    \tableofcontents[currentsection]
+%  \end{frame}
+%}
+%\AtBeginSection[]{
+%	\begin{frame}[plain]
+%		\begin{center} \LARGE\insertsectionhead \end{center} 	
+%	\end{frame}
+%}
+
+\begin{document}
+
+\begin{frame}
+  \titlepage
+\end{frame}
+
+% Inhaltsverzeichnis
+%\begin{frame}
+%  \frametitle{Inhalt}
+%  \tableofcontents
+%\end{frame}
+
+\begin{frame}
+	\frametitle{About Me}
+	\begin{itemize}
+		\item Bachelor student at TUM
+		\item Computer Science
+		\item Started in 2010
+
+		\vspace{1.5em}
+
+		\item Hiwi since Dec. 2010
+		\item No prior FP experience
+	\end{itemize}
+\end{frame}
+
+\begin{frame}
+	\frametitle{Graphbrowser}
+	
+	\begin{columns}[T]
+		\begin{column}{.4\textwidth}
+			\begin{itemize}
+				\item Stefan Berghofer
+				\item Features
+				\item Limits
+			\end{itemize}
+		\end{column}
+		\begin{column}{.6\textwidth}
+			\includegraphics[width=\textwidth]{img/graphbrowser}
+		\end{column}
+	\end{columns}
+\end{frame}
+
+\begin{frame}
+	\frametitle{Graphview}
+	
+	\begin{columns}[T]
+		\begin{column}{.4\textwidth}
+			\begin{itemize}
+				\item Interactive
+				\item Filters
+				\item Colorations
+				\vspace{1.5em}
+				\item Axioms
+				\item Parameters
+			\end{itemize}
+		\end{column}
+		\begin{column}{.6\textwidth}
+			\includegraphics[width=\textwidth]{img/graphview}
+		\end{column}
+	\end{columns}
+\end{frame}
+
+\begin{frame}[plain]	
+	\begin{center}
+		\LARGE DEMO
+	\end{center}
+\end{frame}
+
+\begin{frame}
+	\frametitle{Time consumption}
+	
+	\begin{itemize}
+		\item Scala, FP concepts
+		\item Isabelle	
+		
+		\vspace{2em}		
+		
+		\item JUNG
+		\item Reimplementations
+	\end{itemize}
+\end{frame}
+
+\begin{frame}
+	\frametitle{Possible Improvements}
+	
+	\begin{itemize}
+		\item Faster rendering
+		\item Prettier layout algorithm
+		\item Better integration into isabelle/jEdit
+	\end{itemize}
+\end{frame}
+
+\begin{frame}[plain]
+	\begin{center}
+		\LARGE Discussion
+	\end{center}		
+\end{frame}
+\end{document}