changeset 13778 | 61272514e3b5 |
parent 13758 | ee898d32de21 |
child 17056 | 05fc32a23b8b |
--- a/doc-src/TutorialI/Misc/document/appendix.tex Thu Jan 09 11:45:40 2003 +0100 +++ b/doc-src/TutorialI/Misc/document/appendix.tex Wed Jan 15 16:43:12 2003 +0100 @@ -34,7 +34,6 @@ \end{table}% \end{isamarkuptext}% \isamarkuptrue% -\isanewline \isamarkupfalse% \end{isabellebody}% %%% Local Variables: