equal
deleted
inserted
replaced
2 ================================================= |
2 ================================================= |
3 |
3 |
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 (or JDK/OpenJDK 1.7, but not OpenJDK 1.6) |
8 |
8 |
9 * Scala 2.8.2.final or 2.9.1-1 |
9 * Scala 2.8.2.final or 2.9.1-1 |
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-20120313.tar.gz |
15 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz |
16 |
16 |
17 |
17 |
18 Important settings within Isabelle environment |
18 Important settings within Isabelle environment |
19 ============================================== |
19 ============================================== |
20 |
20 |