changeset 13758 | ee898d32de21 |
parent 12334 | 60bf75e157e4 |
child 13778 | 61272514e3b5 |
--- a/doc-src/TutorialI/Datatype/document/ABexpr.tex Tue Dec 17 11:04:58 2002 +0100 +++ b/doc-src/TutorialI/Datatype/document/ABexpr.tex Tue Dec 17 11:05:41 2002 +0100 @@ -147,6 +147,7 @@ \isamarkupfalse% \isamarkupfalse% \isamarkupfalse% +\isanewline \isamarkupfalse% \end{isabellebody}% %%% Local Variables: