equal
deleted
inserted
replaced
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 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 |
|
12 (experimental support for Scala 2.10.x milestones) |
11 |
13 |
12 * Auxiliary jedit_build component |
14 * Auxiliary jedit_build component |
13 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz |
15 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz |
14 |
16 |
15 |
17 |