src/Pure/Tools/main.scala

--- a/src/Pure/Tools/main.scala	Sat Sep 07 19:18:05 2013 +0200
+++ b/src/Pure/Tools/main.scala	Sat Sep 07 19:45:36 2013 +0200
@@ -151,7 +151,7 @@
   private def cygwin_init(system_dialog: System_Dialog, isabelle_home: String, cygwin_root: String)
   {
     system_dialog.title("Isabelle system initialization")
-    system_dialog.echo("Initializing Cygwin:")
+    system_dialog.echo("Initializing Cygwin ...")
 
     def execute(args: String*): Int =
     {