| changeset 10247 | 33e542b4934c |
| parent 10184 | 4a7a1091cf65 |
| child 10393 | b2a212304fb4 |
--- a/src/Pure/Thy/latex.ML Wed Oct 18 23:26:42 2000 +0200 +++ b/src/Pure/Thy/latex.ML Wed Oct 18 23:27:16 2000 +0200 @@ -126,7 +126,7 @@ fun isabelle_file name txt = "%\n\\begin{isabellebody}%\n\ - \\\def\\isabellecontext{" ^ name ^ "}%\n" ^ txt ^ + \\\def\\isabellecontext{" ^ output_syms name ^ "}%\n" ^ txt ^ "\\end{isabellebody}%\n" ^ tex_trailer; fun old_symbol_source name syms =