minimal GUI_Setup, which is the main class of Pure.jar;

--- a/src/Pure/IsaMakefile	Sun Jun 28 15:39:51 2009 +0200
+++ b/src/Pure/IsaMakefile	Sun Jun 28 16:01:52 2009 +0200
@@ -121,9 +121,9 @@
   General/position.scala General/scan.scala General/swing.scala		\
   General/symbol.scala General/xml.scala General/yxml.scala		\
   Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala	\
-  System/cygwin.scala System/isabelle_process.scala			\
-  System/isabelle_system.scala System/platform.scala			\
-  Thy/completion.scala Thy/thy_header.scala				\
+  System/cygwin.scala System/gui_setup.scala				\
+  System/isabelle_process.scala System/isabelle_system.scala		\
+  System/platform.scala Thy/completion.scala Thy/thy_header.scala	\
   Tools/isabelle_syntax.scala
 
 
@@ -137,7 +137,7 @@
 	scaladoc -d classes $(SCALA_FILES)
 	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf `jvmpath $@` isabelle
+	@cd classes; jar cfe `jvmpath $@` isabelle.GUI_Setup isabelle
 	@rm -rf classes
 
 clean-jar:

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/System/gui_setup.scala	Sun Jun 28 16:01:52 2009 +0200
@@ -0,0 +1,30 @@
+/*  Title:      Pure/System/gui_setup.scala
+    Author:     Makarius
+
+GUI for basic system setup.
+*/
+
+package isabelle
+
+import scala.swing._
+import scala.swing.event._
+
+
+object GUI_Setup extends SimpleGUIApplication
+{
+  def top = new MainFrame {
+    title = "Isabelle setup"
+    val ok = new Button { text = "OK" }
+
+    contents = new BoxPanel(Orientation.Vertical) {
+      contents += ok
+      border = scala.swing.Swing.EmptyBorder(20, 20, 20, 20)
+    }
+
+    listenTo(ok)
+    reactions += {
+      case ButtonClicked(`ok`) => System.exit(0)
+    }
+  }
+}
+