diff -r c3517b281164 -r 928c015eb03e Slides/document/root.tex --- a/Slides/document/root.tex Fri Dec 13 11:05:50 2013 +1100 +++ b/Slides/document/root.tex Sat Dec 14 13:07:41 2013 +1100 @@ -63,7 +63,7 @@ \newcommand{\swap}[2]{(#1\,#2)}% swapping operation % beamer stuff -\renewcommand{\slidecaption}{Salvador, 26.~August 2008} +\renewcommand{\slidecaption}{} % colours for Isar Code (in article mode everything is black and white)