--- a/doc-src/TutorialI/Overview/Slides/main.tex Fri Dec 03 20:26:57 2010 +0100
+++ b/doc-src/TutorialI/Overview/Slides/main.tex Fri Dec 03 20:38:58 2010 +0100
@@ -4,7 +4,7 @@
\documentclass[pdf,nototal,myframes,slideColor,colorBG]{prosper}
\usepackage{pstricks,pst-node,pst-text,pst-3d}
-\usepackage[latin1]{inputenc}
+\usepackage[utf8]{inputenc}
\usepackage{amsmath}
@@ -21,7 +21,7 @@
\author{Tobias Nipkow
\\{\small joint work with Larry Paulson and Markus Wenzel}
}
-\institution{Technische Universität München
+\institution{Technische Universität München
\\ \vspace{0.5cm}\includegraphics[scale=.4]{isabelle_hol}
}
\maketitle