changeset 15614 | b098158a3f39 |
parent 15481 | fc075ae929e4 |
child 16069 | 3f2a9f400168 |
--- a/doc-src/TutorialI/ToyList/document/ToyList.tex Thu Mar 17 15:12:03 2005 +0100 +++ b/doc-src/TutorialI/ToyList/document/ToyList.tex Fri Mar 18 14:31:50 2005 +0100 @@ -141,6 +141,7 @@ \isamarkuptrue% \isamarkupfalse% \isamarkuptrue% +\isanewline \isamarkupfalse% % \isamarkupsubsubsection{First Lemma% @@ -159,6 +160,7 @@ \isamarkuptrue% \isamarkupfalse% \isamarkuptrue% +\isanewline \isamarkupfalse% % \isamarkupsubsubsection{Second Lemma%