
diff -r 6103b0eadbf2 -r f7c97e64cc2a ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Tue May 14 17:45:13 2019 +0200
+++ b/ProgTutorial/document/root.tex	Thu May 16 19:56:12 2019 +0200
@@ -146,8 +146,10 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % for {*  *} in antiquotations
-\newcommand{\isasymverbopen}{\isacharverbatimopen}
-\newcommand{\isasymverbclose}{\isacharverbatimclose}
+%\newcommand{\isasymverbopen}{\isacharverbatimopen}
+%\newcommand{\isasymverbclose}{\isacharverbatimclose}
+\newcommand{\isasymverbopen}{\isacartoucheopen}
+\newcommand{\isasymverbclose}{\isacartoucheclose}
 \newcommand{\isasymfoo}{\isa{{\isacharbackslash}{\isacharless}foo{\isachargreater}}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -165,7 +167,7 @@
 \title{\mbox{}\\[-10ex]
        \includegraphics[scale=0.5]{tutorial-logo.jpg}\\[3ex]
        {\huge\bf The Isabelle Cookbook}\\
-       \mbox{A Gentle Tutorial for Programming on the ML-Level of Isabelle}\\ (draft)}
+       \mbox{A Gentle Tutorial for Programming Isabelle/ML}\\ (draft)}
 
 \author{by Christian Urban with contributions from:\\[2ex] 
         \begin{tabular}{r@{\hspace{1.8mm}}l}
@@ -177,6 +179,7 @@
         Rafal & Kolanski\\
         Alexander & Krauss\\
         Tobias & Nipkow\\
+        Norbert & Schirmer\\
         Andreas & Schropp\\
         Christian & Sternagel\\ 
         \end{tabular}}




