isabelle: File revisions

Admin/makebundle

2011-09-18	wenzelm	tweak keyboard shortcuts for Mac OS X;	file \| diff \| annotate
2011-09-17	wenzelm	specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;	file \| diff \| annotate
2011-09-07	wenzelm	platform-specific look and feel;	file \| diff \| annotate
2011-01-30	wenzelm	delete .elc files unconditionally -- they cause too many incompatibilities;	file \| diff \| annotate
2011-01-24	wenzelm	delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;	file \| diff \| annotate
2011-01-19	wenzelm	Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;	file \| diff \| annotate
2011-01-14	wenzelm	updated for release;	file \| diff \| annotate
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

isabelle