1.1 --- a/doc-src/TutorialI/Misc/document/case_exprs.tex	Wed Jan 29 11:02:08 2003 +0100
     1.2 +++ b/doc-src/TutorialI/Misc/document/case_exprs.tex	Wed Jan 29 16:29:38 2003 +0100
     1.3 @@ -80,8 +80,7 @@
     1.4  which is solved automatically:%
     1.5  \end{isamarkuptxt}%
     1.6  \isamarkuptrue%
     1.7 -\isacommand{apply}{\isacharparenleft}auto{\isacharparenright}\isanewline
     1.8 -\isamarkupfalse%
     1.9 +\isacommand{apply}{\isacharparenleft}auto{\isacharparenright}\isamarkupfalse%
    1.10  \isamarkupfalse%
    1.11  %
    1.12  \begin{isamarkuptext}%