author | wenzelm |
Thu, 05 Jul 2012 16:03:09 +0200 | |
changeset 48192 | 07a32140ce0d |
parent 47867 | dd9cbe708e6b |
child 48275 | 31daac3a85ea |
permissions | -rw-r--r-- |
/* 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) } }