Admin/makebundle
2011-01-30 wenzelm 2011-01-30 delete .elc files unconditionally -- they cause too many incompatibilities;
2011-01-24 wenzelm 2011-01-24 delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
2011-01-19 wenzelm 2011-01-19 Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;
2011-01-14 wenzelm 2011-01-14 updated for release;
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;