Admin/makebundle
2010-06-07 ago proper target directory;
2010-06-06 ago single heaps archive;
2010-06-04 ago one all-inclusive bundle for each platform;
2009-11-27 ago re-package Isabelle distribution with add-on components;