2013-02-28 wenzelm [Thu, 28 Feb 2013 13:24:51 +0100] rev 51304
marginalized historic strip_tac;
src/Doc/IsarRef/ML_Tactic.thy src/HOL/Bali/Basis.thy src/HOL/HOL.thy src/HOL/MicroJava/J/JTypeSafe.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 13:19:25 +0100] rev 51303
tuned proof;
src/HOL/IMPP/Natural.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 12:43:28 +0100] rev 51302
tuned whitespace and indentation;
src/Tools/quickcheck.ML

2013-02-28 wenzelm [Thu, 28 Feb 2013 12:24:24 +0100] rev 51301
simplified imports;
src/HOL/Library/Extended_Nat.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/FrechetDeriv.thy src/HOL/Library/Phantom_Type.thy src/HOL/Library/Product_plus.thy src/HOL/Word/Misc_Numeric.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 12:09:32 +0100] rev 51300
load timings in parallel for improved performance;
src/Pure/Tools/build.scala

2013-02-28 wenzelm [Thu, 28 Feb 2013 11:40:23 +0100] rev 51299
proper place for cancel_div_mod.ML (see also ee729dbd1b7f and ec7f10155389);
src/HOL/Divides.thy src/HOL/Nat_Transfer.thy

2013-02-27 wenzelm [Wed, 27 Feb 2013 20:36:21 +0100] rev 51298
parallel dep.load_files saves approx. 1s on 4 cores;
src/Pure/Thy/thy_info.scala

2013-02-27 wenzelm [Wed, 27 Feb 2013 19:39:16 +0100] rev 51297
eliminated pointless re-ified errors;
src/Pure/Tools/build.scala src/Tools/jEdit/src/isabelle_logic.scala

2013-02-27 wenzelm [Wed, 27 Feb 2013 17:44:08 +0100] rev 51296
merged

2013-02-27 wenzelm [Wed, 27 Feb 2013 17:32:17 +0100] rev 51295
discontinued redundant 'use' command;
NEWS etc/isar-keywords-ZF.el etc/isar-keywords.el src/Doc/IsarImplementation/ML.thy src/Pure/Isar/isar_syn.ML src/Pure/Pure.thy