isabelle: File revisions

Admin/makebundle

Wed, 07 Sep 2011 22:00:41 +0200	wenzelm	platform-specific look and feel;	file \| diff \| annotate
Sun, 30 Jan 2011 20:47:26 +0100	wenzelm	delete .elc files unconditionally -- they cause too many incompatibilities;	file \| diff \| annotate
Mon, 24 Jan 2011 15:39:42 +0100	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
Wed, 19 Jan 2011 15:18:03 +0100	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
Fri, 14 Jan 2011 18:23:39 +0100	wenzelm	updated for release;	file \| diff \| annotate
Mon, 07 Jun 2010 17:50:57 +0200	wenzelm	proper target directory;	file \| diff \| annotate
Sun, 06 Jun 2010 18:47:29 +0200	wenzelm	single heaps archive;	file \| diff \| annotate
Fri, 04 Jun 2010 16:47:36 +0200	wenzelm	one all-inclusive bundle for each platform;	file \| diff \| annotate
Fri, 27 Nov 2009 00:11:56 +0100	wenzelm	re-package Isabelle distribution with add-on components;	file \| diff \| annotate

isabelle