changeset 11866 | fbd097aec213 |
parent 11708 | d27253c4594f |
child 12332 | aea72a834c85 |
--- a/doc-src/TutorialI/Misc/document/appendix.tex Sun Oct 21 19:48:19 2001 +0200 +++ b/doc-src/TutorialI/Misc/document/appendix.tex Sun Oct 21 19:49:29 2001 +0200 @@ -1,6 +1,7 @@ % \begin{isabellebody}% \def\isabellecontext{appendix}% +\isamarkupfalse% % \begin{isamarkuptext}% \begin{table}[htbp] @@ -31,6 +32,8 @@ \end{center} \end{table}% \end{isamarkuptext}% +\isamarkuptrue% +\isamarkupfalse% \end{isabellebody}% %%% Local Variables: %%% mode: latex