# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1231346191 0
# Node ID c3fe4749ef01ce0f74405673a074522181ad2adf
# Parent  64c9540f2f8402ca869038b2e5e7557c193503b6
added Sacha as contributor

diff -r 64c9540f2f84 -r c3fe4749ef01 CookBook/document/root.tex
--- 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
 
diff -r 64c9540f2f84 -r c3fe4749ef01 cookbook.pdf
Binary file cookbook.pdf has changed