# HG changeset patch
# User wenzelm
# Date 971904436 -7200
# Node ID 33e542b4934c2a02a1dca8c8fc6f952a5be9a970
# Parent  d8c968e6329ae88cd90d8fdaf4c0009f5ea0157a
\isabellecontext: output_syms;

diff -r d8c968e6329a -r 33e542b4934c src/Pure/Thy/latex.ML
--- 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 =