| changeset 9917 | 5af7632388a0 |
| parent 9795 | c362e75e8939 |
| child 11057 | e68becb804fe |
--- 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 =