2017-06-06 wenzelm [Tue, 06 Jun 2017 13:13:25 +0200] rev 66020
discontinued obsolete print mode;
src/HOL/Tools/ATP/atp_util.ML src/HOL/Tools/Nitpick/nitpick_model.ML src/HOL/Tools/Nitpick/nitpick_util.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML src/HOL/Tools/Sledgehammer/sledgehammer_util.ML src/Pure/General/symbol.ML src/Pure/System/isabelle_process.ML src/Pure/Thy/latex.ML

2017-06-05 wenzelm [Mon, 05 Jun 2017 23:55:58 +0200] rev 66019
HTML preview via builtin HTTP server;
NEWS src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/plugin.scala

2017-06-05 wenzelm [Mon, 05 Jun 2017 23:13:08 +0200] rev 66018
permissive output of XML.Text, e.g. relevant for embedded <style>;
src/Pure/Thy/html.scala

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:47 +0200] rev 66017
avoid Local_Theory.reset in application space
src/HOL/Tools/Lifting/lifting_def.ML src/HOL/Tools/Lifting/lifting_def_code_dt.ML

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66016
tuned
src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66015
specific output setup is not supposed to intrude regular import theory
src/HOL/Library/Library.thy src/HOL/ROOT

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66014
avoid duplicate
src/HOL/Codegenerator_Test/Candidates.thy src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66013
streamlined code setup for fake terms
src/HOL/Code_Evaluation.thy

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66012
modernized (code) setup for enumeration predicates
src/HOL/Predicate.thy src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML src/HOL/Tools/Predicate_Compile/predicate_compile_proof.ML

2017-06-05 haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66011
simplified setup
src/HOL/Nitpick.thy