--- a/CookBook/document/root.tex	Wed Jan 07 16:29:49 2009 +0100
+++ b/CookBook/document/root.tex	Wed Jan 07 16:36:31 2009 +0000
@@ -1,4 +1,5 @@
 \documentclass[11pt,a4paper]{report}
+\usepackage[latin1]{inputenc}
 \usepackage{amsmath,amsthm}
 \usepackage{isabelle}
 \usepackage{isabellesym}
@@ -91,10 +92,11 @@
        \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex]
        The Isabelle Programmer's Cookbook (fragment)}
 \author{with contributions by:\\[2ex] 
-        \begin{tabular}{l}
-        Alexander Krauss\\ 
-        Jeremy Dawson\\
-        Stefan Berghofer
+        \begin{tabular}{r@{\hspace{1.8mm}}l}
+        Stefan & Berghofer\\
+        Sascha & Böhme\\
+        Jeremy & Dawson\\
+        Alexander & Krauss\\ 
         \end{tabular}}
 \maketitle
 

Binary file cookbook.pdf has changed