2007-11-22 wenzelm [Thu, 22 Nov 2007 14:51:34 +0100] rev 25456 Isabelle2007
tuned;
Admin/polyml-5.1/README

2007-11-22 wenzelm [Thu, 22 Nov 2007 14:48:52 +0100] rev 25455
updated to official Poly/ML 5.1;
Admin/polyml-5.1/README

2007-11-21 wenzelm [Wed, 21 Nov 2007 16:40:51 +0100] rev 25454
tuned;
CONTRIBUTORS

2007-11-21 wenzelm [Wed, 21 Nov 2007 16:36:47 +0100] rev 25453
include elapsed time for parallel sessions;
Admin/isatest/isatest-statistics

2007-11-21 wenzelm [Wed, 21 Nov 2007 14:43:50 +0100] rev 25452
intern_skolem: disallow qualified names;
src/Pure/Isar/proof_context.ML

2007-11-21 haftmann [Wed, 21 Nov 2007 14:18:23 +0100] rev 25451
fixed
lib/Tools/codegen

2007-11-21 haftmann [Wed, 21 Nov 2007 13:42:31 +0100] rev 25450
dropped diagnostic commands
src/HOL/Ring_and_Field.thy

2007-11-20 wenzelm [Tue, 20 Nov 2007 14:01:49 +0100] rev 25449
tuned;
CONTRIBUTORS

2007-11-20 wenzelm [Tue, 20 Nov 2007 13:59:23 +0100] rev 25448
tuned spacing;
NEWS

2007-11-20 wenzelm [Tue, 20 Nov 2007 13:55:13 +0100] rev 25447
updated Proof General advertisement;
tuned line breaks;
README