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