# HG changeset patch
# User wenzelm
# Date 1378575936 -7200
# Node ID 19e7d50446178763636a681607f538a832d68167
# Parent  3a944e1d20beb73a19a355a6ec163f86690ffb0c
tuned message;

diff -r 3a944e1d20be -r 19e7d5044617 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 =
     {