--- 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
}