src/Pure/Tools/main.scala

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