doc-src/TutorialI/Misc/document/case_exprs.tex

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