
diff -r 147e0137a76a -r 66ed22799ce8 doc-src/TutorialI/Documents/document/Documents.tex
--- 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%




