| Wed, 25 Apr 2012 14:24:27 +0200 | wenzelm | back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer; | file | diff | annotate |
| Thu, 12 Apr 2012 23:04:51 +0200 | wenzelm | tuned README; | file | diff | annotate |
| Sat, 24 Mar 2012 20:24:16 +0100 | wenzelm | ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); | file | diff | annotate |
| Sun, 28 Nov 2010 18:31:54 +0100 | wenzelm | basic setup for bundled Java runtime; | file | diff | annotate |