# HG changeset patch
# User wenzelm
# Date 968686670 -7200
# Node ID 5af7632388a0d7f888880c70cca32aceb13dcaac
# Parent  4a703366494bfa45a27749f210cc4c24ba829f37
support \isabellecontext;

diff -r 4a703366494b -r 5af7632388a0 src/Pure/Thy/present.ML
--- a/src/Pure/Thy/present.ML	Mon Sep 11 17:37:09 2000 +0200
+++ b/src/Pure/Thy/present.ML	Mon Sep 11 17:37:50 2000 +0200
@@ -359,7 +359,7 @@
   with_session () (fn _ => add_tex_source name (Latex.old_symbol_source name (mk_text ())));
 
 fun theory_output name s =
-  with_session () (fn _ => add_tex_source name (Latex.isabelle_file s));
+  with_session () (fn _ => add_tex_source name (Latex.isabelle_file name s));
 
 
 fun parent_link remote_path curr_session name =