2009-10-26 wenzelm [Mon, 26 Oct 2009 20:04:20 +0100] rev 33210
recovered sort indentation for "sort position", as documented in the file;
more precise dependencies -- HOL-Multivariate_Analysis produces an image;
tuned;
src/HOL/IsaMakefile

2009-10-26 wenzelm [Mon, 26 Oct 2009 20:02:37 +0100] rev 33209
tuned white space;
src/HOL/Induct/LList.thy src/HOL/Library/Coinductive_List.thy src/HOL/Rational.thy src/HOL/RealDef.thy

2009-10-26 haftmann [Mon, 26 Oct 2009 15:36:50 +0100] rev 33208
merged

2009-10-26 haftmann [Mon, 26 Oct 2009 15:17:02 +0100] rev 33207
merged

2009-10-26 haftmann [Mon, 26 Oct 2009 15:16:28 +0100] rev 33206
avoid upto if not needed
src/Provers/order.ML src/Pure/library.ML

2009-10-26 haftmann [Mon, 26 Oct 2009 15:15:59 +0100] rev 33205
conceal quickcheck generators
src/HOL/Tools/quickcheck_generators.ML

2009-10-26 blanchet [Mon, 26 Oct 2009 14:57:49 +0100] rev 33204
merged
src/HOL/IsaMakefile

2009-10-26 blanchet [Mon, 26 Oct 2009 14:21:20 +0100] rev 33203
merged
CONTRIBUTORS src/HOL/IsaMakefile

2009-10-26 blanchet [Mon, 26 Oct 2009 11:02:08 +0100] rev 33202
make Nitpick compile again
src/HOL/Tools/Nitpick/nitpick_hol.ML src/HOL/Tools/Nitpick/nitpick_model.ML

2009-10-26 blanchet [Mon, 26 Oct 2009 09:14:29 +0100] rev 33201
merged
NEWS src/HOL/IsaMakefile