src/Pure/Tools/main.scala
changeset 53575 df79aa33bb74
parent 53574 cb7d8e70f4f4
child 53772 30de372ca56f
equal deleted inserted replaced
53574:cb7d8e70f4f4 53575:df79aa33bb74
    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 
       
    33   /** main entry point **/
    19   /** main entry point **/
    34 
    20 
    35   def main(args: Array[String])
    21   def main(args: Array[String])
    36   {
    22   {
    37     val system_dialog = new System_Dialog
    23     val system_dialog = new System_Dialog