changeset 11866 | fbd097aec213 |
parent 11648 | d78a82d112e4 |
child 12627 | 08eee994bf99 |
11865:93d5408eb7d9 | 11866:fbd097aec213 |
---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Documents}% |
3 \def\isabellecontext{Documents}% |
4 \isamarkupfalse% |
|
5 \isamarkupfalse% |
|
4 \end{isabellebody}% |
6 \end{isabellebody}% |
5 %%% Local Variables: |
7 %%% Local Variables: |
6 %%% mode: latex |
8 %%% mode: latex |
7 %%% TeX-master: "root" |
9 %%% TeX-master: "root" |
8 %%% End: |
10 %%% End: |