Present.theory_source;

--- 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))