diff -r cd612b489504 -r 02f76f1b6e7b CookBook/document/root.tex
--- a/CookBook/document/root.tex	Mon Oct 27 18:48:52 2008 +0100
+++ b/CookBook/document/root.tex	Wed Oct 29 13:58:36 2008 +0100
@@ -49,6 +49,7 @@
 % a table environment with proper indentation
 \newenvironment{mytable}{\begin{trivlist}\item\begin{tabular}{@{\hspace{2ex}}l}}{\end{tabular}\end{trivlist}}
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \hyphenation{Isabelle}
 
 \begin{document}