--- a/ProgTutorial/document/root.tex	Fri Oct 29 13:46:37 2010 +0200
+++ b/ProgTutorial/document/root.tex	Wed Feb 23 23:55:37 2011 +0000
@@ -153,7 +153,7 @@
 \title{\mbox{}\\[-10ex]
        \includegraphics[scale=0.5]{tutorial-logo.jpg}\\[3ex]
        {\huge\bf The Isabelle Cookbook}\\
-       \mbox{A Tutorial for Programming on the ML-Level of Isabelle}\\ (draft)}
+       \mbox{A Gentle Tutorial for Programming on the ML-Level of Isabelle}\\ (draft)}
 
 \author{by Christian Urban with contributions from:\\[2ex] 
         \begin{tabular}{r@{\hspace{1.8mm}}l}