src/Pure/Thy/browser_info.ML

 signature BROWSER_INFO =
 sig
   include BASIC_BROWSER_INFO
   val init: bool -> string list -> string -> Url.T option * bool -> unit
   val finish: unit -> unit
-  val theory_source: string -> (string, 'a) Source.source -> unit
+  val theory_source: bool -> string -> (string, string list) Source.source * Position.T -> unit
   val begin_theory: string -> string list -> (Path.T * bool) list -> theory -> theory
   val end_theory: string -> unit
   val result: string -> string -> thm -> unit
   val results: string -> string -> thm list -> unit
   val theorem: string -> thm -> unit

   end);
 
 
 (* theory elements *)
 
-fun theory_source name src = with_session () (fn _ =>
+fun theory_source is_old name (src, _) = with_session () (fn _ =>
   (init_theory_info name empty_theory_info; add_source name (HTML.source src)));
 
 
 (* FIXME clean *)