equal
deleted
inserted
replaced
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 |