--- a/src/Pure/Tools/main.scala Sat Sep 07 18:37:25 2013 +0200 +++ b/src/Pure/Tools/main.scala Sat Sep 07 19:18:05 2013 +0200 @@ -193,7 +193,6 @@ system_dialog.echo("init ...") Isabelle_System.init() - system_dialog.echo("OK") } }