# HG changeset patch
# User wenzelm
# Date 920978422 -3600
# Node ID 7cee353c7f2a8ddc0f3a480ec70aa2b9e9d442c9
# Parent  fb7b8d6c2bd1f4f9204e45061b5133f003567311
Present.theory_source;

diff -r fb7b8d6c2bd1 -r 7cee353c7f2a src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Tue Mar 09 12:20:04 1999 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Tue Mar 09 12:20:22 1999 +0100
@@ -242,6 +242,7 @@
 
 fun run_thy name path =
   let val (src, pos) = Source.of_file path in
+    Present.theory_source name src;
     if is_old_theory (src, pos) then ThySyn.load_thy name (Source.exhaust src)
     else (Toplevel.excursion (parse_thy (src, pos))
       handle exn => error (Toplevel.exn_message exn))