| Wed, 25 Apr 2012 14:19:53 +0200 | wenzelm | ISABELLE_JDK_HOME is already provided by isatest shell environment; | file | diff | annotate |
| Sun, 01 Apr 2012 21:12:04 +0200 | krauss | adapted Mira configuration to dd04c8173bb2. | file | diff | annotate |
| Thu, 29 Mar 2012 08:59:56 +0200 | haftmann | educated guess to include jdk | file | diff | annotate |