# HG changeset patch
# User wenzelm
# Date 1380024889 -7200
# Node ID 73536e1193109fe93af99e383ec7a2a54144c3de
# Parent  75243ba102d41c895625489d8223c0e3566468cb
obsolete;

diff -r 75243ba102d4 -r 73536e119310 src/Pure/GUI/gui_setup.scala
--- a/src/Pure/GUI/gui_setup.scala	Tue Sep 24 14:09:39 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,71 +0,0 @@
-/*  Title:      Pure/GUI/gui_setup.scala
-    Author:     Makarius
-
-GUI for basic system setup.
-*/
-
-package isabelle
-
-import java.lang.System
-
-import scala.swing.{ScrollPane, Button, FlowPanel,
-  BorderPanel, MainFrame, TextArea, SwingApplication}
-import scala.swing.event.ButtonClicked
-
-
-object GUI_Setup extends SwingApplication
-{
-  def startup(args: Array[String]) =
-  {
-    GUI.init_laf()
-    top.pack()
-    top.visible = true
-  }
-
-  def top = new MainFrame {
-    iconImage = GUI.isabelle_image()
-
-    title = "Isabelle setup"
-
-    // components
-    val text = new TextArea {
-      editable = false
-      columns = 80
-      rows = 20
-    }
-    val ok = new Button { text = "OK" }
-    val ok_panel = new FlowPanel(FlowPanel.Alignment.Center)(ok)
-
-    val panel = new BorderPanel
-    panel.layout(new ScrollPane(text)) = BorderPanel.Position.Center
-    panel.layout(ok_panel) = BorderPanel.Position.South
-    contents = panel
-
-    // values
-    text.append("JVM name: " + Platform.jvm_name + "\n")
-    text.append("JVM platform: " + Platform.jvm_platform + "\n")
-    text.append("JVM home: " + java.lang.System.getProperty("java.home", "") + "\n")
-    try {
-      Isabelle_System.init()
-      if (Platform.is_windows)
-        text.append("Cygwin root: " + Isabelle_System.get_cygwin_root() + "\n")
-      text.append("ML platform: " + Isabelle_System.getenv("ML_PLATFORM") + "\n")
-      text.append("Isabelle platform: " + Isabelle_System.getenv("ISABELLE_PLATFORM") + "\n")
-      val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64")
-      if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n")
-      text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n")
-      val isabelle_home_windows = Isabelle_System.getenv("ISABELLE_HOME_WINDOWS")
-      if (isabelle_home_windows != "")
-        text.append("Isabelle home (Windows): " + isabelle_home_windows + "\n")
-      text.append("Isabelle JDK home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n")
-    }
-    catch { case ERROR(msg) => text.append(msg + "\n") }
-
-    // reactions
-    listenTo(ok)
-    reactions += {
-      case ButtonClicked(`ok`) => sys.exit(0)
-    }
-  }
-}
-
diff -r 75243ba102d4 -r 73536e119310 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Sep 24 14:09:39 2013 +0200
+++ b/src/Pure/build-jars	Tue Sep 24 14:14:49 2013 +0200
@@ -31,7 +31,6 @@
   General/xz_file.scala
   GUI/color_value.scala
   GUI/gui.scala
-  GUI/gui_setup.scala
   GUI/html5_panel.scala
   GUI/jfx_thread.scala
   GUI/popup.scala
@@ -222,7 +221,7 @@
 
   cp "$ISABELLE_HOME/lib/logo/isabelle.gif" isabelle/.
 
-  isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
+  isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \
     fail "Failed to produce $TARGET"
 
   cp "$SCALA_HOME/lib/scala-compiler.jar" \