# HG changeset patch
# User Norbert Schirmer <norbert.schirmer@web.de>
# Date 1558083053 -7200
# Node ID ff14d64c07fd46c8982f98e522b011aedf30de24
# Parent  f875a25aa72d854e9e33787429802230d007b742
ommit cartouche while displaying ML

diff -r f875a25aa72d -r ff14d64c07fd ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Fri May 17 10:38:01 2019 +0200
+++ b/ProgTutorial/document/root.tex	Fri May 17 10:50:53 2019 +0200
@@ -98,8 +98,8 @@
 % scaffolding around function definitions
 \newenvironment{vanishML}{%
 \renewcommand{\isacommand}[1]{}%
-\renewcommand{\isacharverbatimopen}{}%
-\renewcommand{\isacharverbatimclose}{}}{}
+\renewcommand{\isacartoucheopen}{}%
+\renewcommand{\isacartoucheclose}{}}{}
 
 \isakeeptag{grayML}
 \renewcommand{\isataggrayML}{\begin{vanishML}\begin{graybox}}