support \isabellecontext;
authorwenzelm
Mon Sep 11 17:37:50 2000 +0200 (2000-09-11)
changeset 99175af7632388a0
parent 9916 4a703366494b
child 9918 dab013ea6b63
support \isabellecontext;
src/Pure/Thy/present.ML
     1.1 --- a/src/Pure/Thy/present.ML	Mon Sep 11 17:37:09 2000 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Mon Sep 11 17:37:50 2000 +0200
     1.3 @@ -359,7 +359,7 @@
     1.4    with_session () (fn _ => add_tex_source name (Latex.old_symbol_source name (mk_text ())));
     1.5  
     1.6  fun theory_output name s =
     1.7 -  with_session () (fn _ => add_tex_source name (Latex.isabelle_file s));
     1.8 +  with_session () (fn _ => add_tex_source name (Latex.isabelle_file name s));
     1.9  
    1.10  
    1.11  fun parent_link remote_path curr_session name =