--- a/doc-src/TutorialI/Documents/document/Documents.tex Mon Jan 14 17:31:42 2002 +0100
+++ b/doc-src/TutorialI/Documents/document/Documents.tex Mon Jan 14 17:31:45 2002 +0100
@@ -832,9 +832,8 @@
elements need to be kept in mind, too --- the system performs little
sanity checks here. Arguments of markup commands and formal
comments must not be hidden, otherwise presentation fails. Open and
- close parentheses need to be inserted carefully; it is fairly easy
- to hide the wrong parts, especially after rearranging the theory
- text.%
+ close parentheses need to be inserted carefully; it is easy to hide
+ the wrong parts, especially after rearranging the theory text.%
\end{isamarkuptext}%
\isamarkuptrue%
\isamarkupfalse%