| 2010-06-07 | wenzelm | proper target directory; | file | diff | annotate |
| 2010-06-06 | wenzelm | single heaps archive; | file | diff | annotate |
| 2010-06-04 | wenzelm | one all-inclusive bundle for each platform; | file | diff | annotate |
| 2009-11-26 | wenzelm | re-package Isabelle distribution with add-on components; | file | diff | annotate |