--- 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)
- }
-}
-
--- /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)
+ }
+}
+
--- 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