Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Sat, 07 Sep 2013 19:45:36 +0200
changeset 53466 19e7d5044617
parent 53465 3a944e1d20be
child 53467 8adcf1f0042d
tuned message;
src/Pure/Tools/main.scala file | annotate | diff | comparison | revisions 
--- 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 =
     {
isabelle