]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/commitdiff
unabbreviate title
authorChristoph Egger <christoph@christoph-egger.org>
Mon, 25 Apr 2016 14:08:57 +0000 (16:08 +0200)
committerChristoph Egger <christoph@christoph-egger.org>
Mon, 25 Apr 2016 14:08:57 +0000 (16:08 +0200)
vortrag.tex

index 24bf9b2b1eb2d204519a587879c249ebf2a94b91..c70341d226eb44a34644a5adc6593cd5ce15f3a3 100644 (file)
@@ -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\\