--- a/ProgTutorial/document/root.tex	Mon Apr 30 12:36:32 2012 +0100
+++ b/ProgTutorial/document/root.tex	Mon Apr 30 14:43:52 2012 +0100
@@ -100,13 +100,10 @@
 \renewcommand{\isacharverbatimopen}{}%
 \renewcommand{\isacharverbatimclose}{}}{}
 
-\isakeeptag{TutorialML}
-\renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}}
-\renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}}
+\isakeeptag{grayML}
+\renewcommand{\isataggrayML}{\begin{vanishML}\begin{graybox}}
+\renewcommand{\endisataggrayML}{\end{graybox}\end{vanishML}}
 
-\isakeeptag{TutorialMLprf}
-\renewcommand{\isatagTutorialMLprf}{\begin{grayboxwithoutsep}}
-\renewcommand{\endisatagTutorialMLprf}{\end{grayboxwithoutsep}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % for code that has line numbers