1.1 --- a/NEWS	Mon Jun 11 16:28:21 2018 +0200
     1.2 +++ b/NEWS	Tue Jun 12 08:08:16 2018 +0200
     1.3 @@ -403,7 +403,10 @@
     1.4  structure of theory specifications is treated as well.
     1.5  
     1.6  (* hint by Makarius how to introduce templates, referring to
     1.7 - http://isabelle.in.tum.de/repos/isabelle/rev/9f8d06f23c09 *)
     1.8 + http://isabelle.in.tum.de/repos/isabelle/rev/9f8d06f23c09 
     1.9 + Here Output.information writes to respective window.
    1.10 + Isac needs output into main window, probably as done by metis.
    1.11 +*)
    1.12  * Command 'proof' provides information about proof outline with cases,
    1.13  e.g. for proof methods "cases", "induct", "goal_cases".
    1.14