# HG changeset patch
# User wenzelm
# Date 1378574285 -7200
# Node ID 3a944e1d20beb73a19a355a6ec163f86690ffb0c
# Parent  b363138c269c7c6addc8e815e45965cc9f988bab
tuned message;

diff -r b363138c269c -r 3a944e1d20be 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")
   }
 }