src/Pure/Tools/main.scala

     system_dialog.echo("postinstall ...")
     execute(cygwin_root + "\\bin\\bash.exe", "/isabelle/postinstall")
 
     system_dialog.echo("init ...")
     Isabelle_System.init()
-    system_dialog.echo("OK")
   }
 }