(* http://proofgeneral.inf.ed.ac.uk/trac/ticket/109 *)
Goal True.
idtac "Hello!".