src/Pure/Tools/main.scala
changeset 53574 cb7d8e70f4f4
parent 53519 3c977c570e20
child 53575 df79aa33bb74
equal deleted inserted replaced
53573:3cffcc303fc0 53574:cb7d8e70f4f4
    14 import scala.annotation.tailrec
    14 import scala.annotation.tailrec
    15 
    15 
    16 
    16 
    17 object Main
    17 object Main
    18 {
    18 {
       
    19   /** class path **/
       
    20 
       
    21   def class_path: List[Path] = List(
       
    22     "$ISABELLE_HOME/lib/classes/ext/Pure.jar",
       
    23     "$ISABELLE_HOME/lib/classes/ext/scala-compiler.jar",
       
    24     "$ISABELLE_HOME/lib/classes/ext/scala-library.jar",
       
    25     "$ISABELLE_HOME/lib/classes/ext/scala-swing.jar",
       
    26     "$ISABELLE_HOME/lib/classes/ext/scala-actors.jar",
       
    27     "$ISABELLE_HOME/lib/classes/ext/scala-reflect.jar",
       
    28     "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
       
    29   ).map(Path.explode(_))
       
    30 
       
    31 
       
    32 
    19   /** main entry point **/
    33   /** main entry point **/
    20 
    34 
    21   def main(args: Array[String])
    35   def main(args: Array[String])
    22   {
    36   {
    23     val system_dialog = new System_Dialog
    37     val system_dialog = new System_Dialog