wenzelm [Sun, 18 Nov 2007 16:10:11 +0100] rev 25441
init_empty: check before change (avoids non-linear update);
aspinall [Thu, 15 Nov 2007 18:31:53 +0100] rev 25440
Add thm_dep preference to menu, inadvertently missed off
wenzelm [Thu, 15 Nov 2007 15:05:03 +0100] rev 25439
tuned;
wenzelm [Thu, 15 Nov 2007 13:01:55 +0100] rev 25438
use -source instead of -target;
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;
nipkow [Tue, 13 Nov 2007 13:51:12 +0100] rev 25427
updated