# HG changeset patch
# User wenzelm
# Date 1378408276 -7200
# Node ID ec97451fdf2ea770ffb3b4aad31f8fb33cb4e464
# Parent  8e729ecd5b0cb8e176d32533a7c671375a86e90f
recovered cygwin.root from 1c87e79bb838;
removed junk;

diff -r 8e729ecd5b0c -r ec97451fdf2e src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Sep 05 20:37:24 2013 +0200
+++ b/src/Pure/Tools/main.scala	Thu Sep 05 21:11:16 2013 +0200
@@ -47,6 +47,8 @@
             if (!(new JFile(isabelle_home)).isDirectory)
               error("Bad Isabelle home directory: " + quote(isabelle_home))
 
+            System.setProperty("cygwin.root", isabelle_home + "\\contrib\\cygwin")
+
             val uninitialized_file =
               new JFile(isabelle_home, "contrib\\cygwin\\isabelle\\uninitialized")
             val uninitialized = uninitialized_file.isFile && uninitialized_file.delete
@@ -61,7 +63,6 @@
         }
       init_isabelle_home match {
         case Some(isabelle_home) =>
-          GUI.dialog(null, "Isabelle", GUI.scrollable_text("OK"))
           Swing_Thread.later { Cygwin_Init.main_frame(isabelle_home, start) }
         case None => start
       }