changeset 15614 | b098158a3f39 |
parent 15481 | fc075ae929e4 |
child 16069 | 3f2a9f400168 |
--- a/doc-src/TutorialI/Datatype/document/ABexpr.tex Thu Mar 17 15:12:03 2005 +0100 +++ b/doc-src/TutorialI/Datatype/document/ABexpr.tex Fri Mar 18 14:31:50 2005 +0100 @@ -135,12 +135,14 @@ \isamarkupfalse% \isamarkupfalse% \isamarkupfalse% +\isanewline \isamarkupfalse% \isamarkupfalse% \isamarkupfalse% \isamarkupfalse% \isamarkupfalse% \isamarkupfalse% +\isanewline \isamarkupfalse% \isamarkupfalse% \end{isabellebody}%