| Mon, 07 Jun 2010 17:50:57 +0200 | wenzelm | proper target directory; | file | diff | annotate |
| Sun, 06 Jun 2010 18:47:29 +0200 | wenzelm | single heaps archive; | file | diff | annotate |
| Fri, 04 Jun 2010 16:47:36 +0200 | wenzelm | one all-inclusive bundle for each platform; | file | diff | annotate |
| Fri, 27 Nov 2009 00:11:56 +0100 | wenzelm | re-package Isabelle distribution with add-on components; | file | diff | annotate |