equal
deleted
inserted
replaced
10 http://www.scala-lang.org |
10 http://www.scala-lang.org |
11 |
11 |
12 (experimental support for Scala 2.10.x milestones) |
12 (experimental support for Scala 2.10.x milestones) |
13 |
13 |
14 * Auxiliary jedit_build component |
14 * Auxiliary jedit_build component |
15 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz |
15 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120414.tar.gz |
16 |
16 |
17 |
17 |
18 Important settings within Isabelle environment |
18 Important settings within Isabelle environment |
19 ============================================== |
19 ============================================== |
20 |
20 |
21 * init_component ".../jedit_build-20120327" |
21 * init_component ".../jedit_build-20120414" |
22 * ISABELLE_JDK_HOME |
22 * ISABELLE_JDK_HOME |
23 * SCALA_HOME |
23 * SCALA_HOME |
24 |
24 |
25 Note that the official directory layout of JDK and Scala is required! |
25 Note that the official directory layout of JDK and Scala is required! |
26 |
26 |