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