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