# HG changeset patch
# User wenzelm
# Date 1357146218 -3600
# Node ID a8db4bf70e9009ac8e390ff15f3a2a7dfded5ff7
# Parent  d703e3aafa8c639bb6f98b4247d8b4f013ec7a1f
moved files;

diff -r d703e3aafa8c -r a8db4bf70e90 src/Pure/System/main.scala
--- a/src/Pure/System/main.scala	Wed Jan 02 17:58:53 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-/*  Title:      Pure/System/main.scala
-    Author:     Makarius
-
-Default Isabelle application wrapper.
-*/
-
-package isabelle
-
-import scala.swing.TextArea
-
-
-object Main
-{
-  def main(args: Array[String])
-  {
-    val (out, rc) =
-      try {
-        Platform.init_laf()
-        Isabelle_System.init()
-        Isabelle_System.isabelle_tool("jedit", args: _*)
-      }
-      catch { case exn: Throwable => (Exn.message(exn), 2) }
-
-    if (rc != 0)
-      Library.dialog(null, "Isabelle", "Isabelle output",
-        Library.scrollable_text(out + "\nReturn code: " + rc))
-
-    sys.exit(rc)
-  }
-}
-
diff -r d703e3aafa8c -r a8db4bf70e90 src/Pure/Tools/main.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Tools/main.scala	Wed Jan 02 18:03:38 2013 +0100
@@ -0,0 +1,31 @@
+/*  Title:      Pure/Tools/main.scala
+    Author:     Makarius
+
+Default Isabelle application wrapper.
+*/
+
+package isabelle
+
+import scala.swing.TextArea
+
+
+object Main
+{
+  def main(args: Array[String])
+  {
+    val (out, rc) =
+      try {
+        Platform.init_laf()
+        Isabelle_System.init()
+        Isabelle_System.isabelle_tool("jedit", args: _*)
+      }
+      catch { case exn: Throwable => (Exn.message(exn), 2) }
+
+    if (rc != 0)
+      Library.dialog(null, "Isabelle", "Isabelle output",
+        Library.scrollable_text(out + "\nReturn code: " + rc))
+
+    sys.exit(rc)
+  }
+}
+
diff -r d703e3aafa8c -r a8db4bf70e90 src/Pure/build-jars
--- a/src/Pure/build-jars	Wed Jan 02 17:58:53 2013 +0100
+++ b/src/Pure/build-jars	Wed Jan 02 18:03:38 2013 +0100
@@ -49,7 +49,6 @@
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/jfx_thread.scala
-  System/main.scala
   System/options.scala
   System/platform.scala
   System/session.scala
@@ -64,6 +63,7 @@
   Thy/thy_syntax.scala
   Tools/build.scala
   Tools/build_dialog.scala
+  Tools/main.scala
   library.scala
   package.scala
   term.scala