| 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 |
| Wed, 14 Mar 2012 17:40:00 +0100 | haftmann | rudimentary documentation test | file | diff | annotate |
| Wed, 14 Mar 2012 15:24:51 +0100 | haftmann | rudimentary distribution build configuration | file | diff | annotate |
| Thu, 12 Jan 2012 23:29:03 +0100 | wenzelm | more modest settings for lxbroy10 -- might actually perform better; | file | diff | annotate |
| Tue, 18 Oct 2011 11:59:03 +0200 | krauss | mira: collect size of heap images | file | diff | annotate |