isabelle: Changelog

wenzelm [Thu, 15 Nov 2007 11:53:49 +0100] rev 25437

target 1.4 of JVM;

wenzelm [Thu, 15 Nov 2007 11:49:04 +0100] rev 25436

thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin);

wenzelm [Thu, 15 Nov 2007 11:49:03 +0100] rev 25435

isatool version: clarify that this is the *long* form;

wenzelm [Thu, 15 Nov 2007 11:49:02 +0100] rev 25434

ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!

wenzelm [Thu, 15 Nov 2007 11:49:00 +0100] rev 25433

cover ISABELLE_IDENTIFIER;

wenzelm [Wed, 14 Nov 2007 16:22:44 +0100] rev 25432

README for E binary distribution;

wenzelm [Wed, 14 Nov 2007 16:22:32 +0100] rev 25431

tuned;

paulson [Tue, 13 Nov 2007 18:29:28 +0100] rev 25430

patching in the latest changes from Hurd

wenzelm [Tue, 13 Nov 2007 17:04:16 +0100] rev 25429

tuned;

wenzelm [Tue, 13 Nov 2007 16:24:03 +0100] rev 25428

some more items;

isabelle