src/Pure/System/main.scala
changeset 48275 31daac3a85ea
parent 48192 07a32140ce0d
equal deleted inserted replaced
48274:c8dce1689f79 48275:31daac3a85ea
     9 import scala.swing.TextArea
     9 import scala.swing.TextArea
    10 
    10 
    11 
    11 
    12 object Main
    12 object Main
    13 {
    13 {
    14   def main(args: Array[String]) =
    14   def main(args: Array[String])
    15   {
    15   {
    16     val (out, rc) =
    16     val (out, rc) =
    17       try {
    17       try {
    18         Platform.init_laf()
    18         Platform.init_laf()
    19         Isabelle_System.init()
    19         Isabelle_System.init()