2014-10-06 desharna [Mon, 06 Oct 2014 13:32:41 +0200] rev 58560
add 'map_disc_iffs' to 'fp_sugar'
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML src/HOL/Tools/BNF/bnf_fp_n2m_sugar.ML src/HOL/Tools/BNF/bnf_lfp_basic_sugar.ML

2014-10-05 haftmann [Sun, 05 Oct 2014 20:30:58 +0200] rev 58559
code preprocessor tracing also for function transformers
src/Pure/Isar/code.ML

2014-10-05 haftmann [Sun, 05 Oct 2014 20:30:57 +0200] rev 58558
basic support for fully static evaluator generation without dynamic compiler invocation
src/Tools/Code/code_runtime.ML

2014-10-05 haftmann [Sun, 05 Oct 2014 20:30:56 +0200] rev 58557
split dynamic from static context
src/Tools/Code/code_runtime.ML

2014-10-05 wenzelm [Sun, 05 Oct 2014 23:09:27 +0200] rev 58556
more refs;
src/Doc/JEdit/JEdit.thy src/Doc/manual.bib

2014-10-05 wenzelm [Sun, 05 Oct 2014 22:47:07 +0200] rev 58555
prefer @{cite} antiquotation;
src/Doc/Implementation/Eq.thy src/Doc/Implementation/Integration.thy src/Doc/Implementation/Isar.thy src/Doc/Implementation/Local_Theory.thy src/Doc/Implementation/Logic.thy src/Doc/Implementation/ML.thy src/Doc/Implementation/Prelim.thy src/Doc/Implementation/Proof.thy src/Doc/Implementation/Syntax.thy

2014-10-05 wenzelm [Sun, 05 Oct 2014 22:46:20 +0200] rev 58554
prefer @{cite} antiquotation;
src/Doc/JEdit/JEdit.thy

2014-10-05 wenzelm [Sun, 05 Oct 2014 22:46:13 +0200] rev 58553
prefer @{cite} antiquotation;
src/Doc/System/Basics.thy src/Doc/System/Presentation.thy src/Doc/System/Scala.thy src/Doc/System/Sessions.thy

2014-10-05 wenzelm [Sun, 05 Oct 2014 22:24:07 +0200] rev 58552
prefer @{cite} antiquotation;
src/Doc/Isar_Ref/Document_Preparation.thy src/Doc/Isar_Ref/First_Order_Logic.thy src/Doc/Isar_Ref/Framework.thy src/Doc/Isar_Ref/Generic.thy src/Doc/Isar_Ref/HOL_Specific.thy src/Doc/Isar_Ref/Inner_Syntax.thy src/Doc/Isar_Ref/ML_Tactic.thy src/Doc/Isar_Ref/Misc.thy src/Doc/Isar_Ref/Outer_Syntax.thy src/Doc/Isar_Ref/Preface.thy src/Doc/Isar_Ref/Proof.thy src/Doc/Isar_Ref/Spec.thy

2014-10-05 wenzelm [Sun, 05 Oct 2014 22:22:40 +0200] rev 58551
NEWS;
NEWS