\isabellecontext: output_syms;
authorwenzelm
Wed Oct 18 23:27:16 2000 +0200 (2000-10-18)
changeset 1024733e542b4934c
parent 10246 d8c968e6329a
child 10248 d99e5eeb16f4
\isabellecontext: output_syms;
src/Pure/Thy/latex.ML
     1.1 --- a/src/Pure/Thy/latex.ML	Wed Oct 18 23:26:42 2000 +0200
     1.2 +++ b/src/Pure/Thy/latex.ML	Wed Oct 18 23:27:16 2000 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4  
     1.5  fun isabelle_file name txt =
     1.6    "%\n\\begin{isabellebody}%\n\
     1.7 -  \\\def\\isabellecontext{" ^ name ^ "}%\n" ^ txt ^
     1.8 +  \\\def\\isabellecontext{" ^ output_syms name ^ "}%\n" ^ txt ^
     1.9    "\\end{isabellebody}%\n" ^ tex_trailer;
    1.10  
    1.11  fun old_symbol_source name syms =