equal
deleted
inserted
replaced
4 * Official Java JDK 1.6 from Sun/Oracle/Apple |
4 * Official Java JDK 1.6 from Sun/Oracle/Apple |
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html |
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html |
6 |
6 |
7 (experimental support for JDK/OpenJDK 1.7) |
7 (experimental support for JDK/OpenJDK 1.7) |
8 |
8 |
9 * Scala 2.8.2.final http://www.scala-lang.org |
9 * Scala 2.8.2.final or 2.9.1-1 |
10 |
10 http://www.scala-lang.org |
11 (experimental support for 2.9.1.final) |
|
12 |
11 |
13 * Auxiliary jedit_build component |
12 * Auxiliary jedit_build component |
14 http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz |
13 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz |
15 |
14 |
16 |
15 |
17 Important settings within Isabelle environment |
16 Important settings within Isabelle environment |
18 ============================================== |
17 ============================================== |
19 |
18 |