| Wed, 25 Apr 2012 14:28:13 +0200 | hoelzl | sorted lemma list in NEWS | changeset | files |
| Wed, 25 Apr 2012 15:14:57 +0200 | wenzelm | merged | changeset | files |
| Wed, 25 Apr 2012 15:13:40 +0200 | wenzelm | reactivated ListCellRenderer for Java 6 (cf. b9e2ed4b1579, 0ddac15782e4, de249b5ae6e2); | changeset | files |
| Wed, 25 Apr 2012 15:13:03 +0200 | wenzelm | enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user; | changeset | files |
| Wed, 25 Apr 2012 14:30:42 +0200 | wenzelm | updated README; | changeset | files |
| Wed, 25 Apr 2012 14:29:15 +0200 | wenzelm | include generated application wrapper; | changeset | files |
| 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; | changeset | files |
| Wed, 25 Apr 2012 14:19:53 +0200 | wenzelm | ISABELLE_JDK_HOME is already provided by isatest shell environment; | changeset | files |