From 553c58bb2528eb68bfcd5c73dbd62ce428b2dfaa Mon Sep 17 00:00:00 2001
From: Christoph Egger <christoph@christoph-egger.org>
Date: Mon, 25 Apr 2016 16:08:57 +0200
Subject: [PATCH] unabbreviate title

---
 vortrag.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vortrag.tex b/vortrag.tex
index 24bf9b2..c70341d 100644
--- a/vortrag.tex
+++ b/vortrag.tex
@@ -66,7 +66,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[plain]
-\title{Alt. free $\mu$-Calculus for cool}
+\title{Alternation free $\mu$-Calculus for COOL}
 %\subtitle{A Free and Interactive Disassembler}
 \author{
 	Christoph Egger\\
-- 
2.39.5