2013-07-03 wenzelm [Wed, 03 Jul 2013 17:50:47 +0200] rev 52511
allow multiple print functions;
src/Pure/PIDE/command.ML src/Pure/PIDE/document.ML

2013-07-03 wenzelm [Wed, 03 Jul 2013 16:58:35 +0200] rev 52510
tuned signature;
src/Pure/Isar/outer_syntax.ML src/Pure/PIDE/command.ML src/Pure/PIDE/document.ML src/Pure/ROOT.ML src/Pure/Thy/thy_load.ML

2013-07-03 wenzelm [Wed, 03 Jul 2013 16:19:57 +0200] rev 52509
tuned signature;
src/Pure/Isar/outer_syntax.ML src/Pure/PIDE/command.ML src/Pure/PIDE/command.scala src/Pure/PIDE/document.ML

2013-07-03 wenzelm [Wed, 03 Jul 2013 15:19:36 +0200] rev 52508
tuned;
src/Pure/PIDE/document.ML src/Pure/PIDE/document.scala

2013-07-03 wenzelm [Wed, 03 Jul 2013 15:11:15 +0200] rev 52507
tuned signature;
src/Pure/General/symbol.scala src/Pure/PIDE/command.scala

2013-07-03 traytel [Wed, 03 Jul 2013 20:41:41 +0200] rev 52506
use long goal format in rel_induct theorem
src/HOL/BNF/Tools/bnf_fp_util.ML src/HOL/BNF/Tools/bnf_gfp_tactics.ML src/HOL/BNF/Tools/bnf_lfp_tactics.ML

2013-07-03 traytel [Wed, 03 Jul 2013 16:53:27 +0200] rev 52505
share some code between codatatypes, datatypes and eventually prim(co)rec
src/HOL/BNF/BNF_FP_Basic.thy src/HOL/BNF/BNF_GFP.thy src/HOL/BNF/Tools/bnf_fp_util.ML src/HOL/BNF/Tools/bnf_gfp.ML src/HOL/BNF/Tools/bnf_lfp.ML src/HOL/BNF/Tools/bnf_lfp_tactics.ML

2013-07-03 nipkow [Wed, 03 Jul 2013 16:07:00 +0200] rev 52504
tuned names
src/HOL/IMP/Abs_Int0.thy src/HOL/IMP/Abs_Int1.thy src/HOL/IMP/Abs_Int1_const.thy src/HOL/IMP/Abs_Int1_parity.thy src/HOL/IMP/Abs_Int2.thy src/HOL/IMP/Abs_Int2_ivl.thy src/HOL/IMP/Abs_Int3.thy src/HOL/IMP/Abs_State.thy

2013-07-02 wenzelm [Tue, 02 Jul 2013 20:47:32 +0200] rev 52503
tuned;
CONTRIBUTORS

2013-07-02 wenzelm [Tue, 02 Jul 2013 19:25:33 +0200] rev 52502
allow choice of target directory (again, see also 58e2d0cd81ae);
Admin/Windows/Installer/sfx.txt