2010-01-04 haftmann [Mon, 04 Jan 2010 16:00:23 +0100] rev 34250
moved name duplicates to end of theory; reduced warning noise
src/HOL/Orderings.thy

2010-01-04 haftmann [Mon, 04 Jan 2010 14:10:13 +0100] rev 34249
merged

2010-01-04 haftmann [Mon, 04 Jan 2010 14:09:58 +0100] rev 34248
modernized
src/Tools/Code/code_target.ML

2010-01-04 haftmann [Mon, 04 Jan 2010 14:09:57 +0100] rev 34247
added applify combinator
src/Tools/Code/code_printer.ML

2010-01-04 haftmann [Mon, 04 Jan 2010 14:09:57 +0100] rev 34246
dropped redundant name declarations
src/Tools/Code/code_ml.ML

2010-01-04 haftmann [Mon, 04 Jan 2010 14:09:56 +0100] rev 34245
dropped copy operation for legacy TheoryDataFun
src/Pure/axclass.ML src/Pure/context.ML src/Pure/sign.ML src/Pure/theory.ML

2010-01-04 haftmann [Mon, 04 Jan 2010 14:09:56 +0100] rev 34244
code cache without copy; tuned
src/Pure/Isar/code.ML src/Tools/Code/code_preproc.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2010-01-04 wenzelm [Mon, 04 Jan 2010 19:43:59 +0100] rev 34243
report keywords as singleton messages, control message kind via print mode;
src/Pure/Isar/outer_keyword.ML src/Pure/System/isabelle_process.ML

2010-01-04 wenzelm [Mon, 04 Jan 2010 18:56:36 +0100] rev 34242
explicit markup of document assigment message (simplified variant of earlier "edits" 8c3e1f73953d);
src/Pure/General/markup.ML src/Pure/General/markup.scala src/Pure/Isar/isar_document.ML

2010-01-04 wenzelm [Mon, 04 Jan 2010 18:55:32 +0100] rev 34241
omit useless (?) scaladoc;
src/Pure/IsaMakefile