2014-03-18 wenzelm [Tue, 18 Mar 2014 17:53:40 +0100] rev 56209
simplified (despite 70898d016538);
src/Pure/Isar/parse.scala src/Pure/PIDE/resources.scala

2014-03-18 wenzelm [Tue, 18 Mar 2014 17:39:03 +0100] rev 56208
clarifed module name;
src/Doc/Codegen/Setup.thy src/Doc/Tutorial/ToyList/ToyList_Test.thy src/Doc/antiquote_setup.ML src/HOL/SMT_Examples/boogie.ML src/HOL/SPARK/Tools/spark_commands.ML src/HOL/Tools/SMT/smt_config.ML src/HOL/Tools/SMT2/smt2_config.ML src/Pure/Isar/parse.scala src/Pure/PIDE/document.ML src/Pure/PIDE/resources.ML src/Pure/PIDE/resources.scala src/Pure/ROOT src/Pure/ROOT.ML src/Pure/System/session.scala src/Pure/Thy/thy_info.ML src/Pure/Thy/thy_info.scala src/Pure/Thy/thy_load.ML src/Pure/Thy/thy_load.scala src/Pure/Thy/thy_syntax.scala src/Pure/Tools/build.scala src/Pure/Tools/proof_general.ML src/Pure/build-jars src/Pure/pure_syn.ML src/Tools/Code/code_runtime.ML src/Tools/Code/code_target.ML src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/find_dockable.scala src/Tools/jEdit/src/isabelle_sidekick.scala src/Tools/jEdit/src/jedit_resources.scala src/Tools/jEdit/src/jedit_thy_load.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/theories_dockable.scala src/Tools/jEdit/src/timing_dockable.scala

2014-03-18 wenzelm [Tue, 18 Mar 2014 16:45:14 +0100] rev 56207
tuned proofs;
src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy

2014-03-18 wenzelm [Tue, 18 Mar 2014 16:44:51 +0100] rev 56206
clarified module arrangement;
more antiquotations;
src/Pure/Proof/extraction.ML src/Pure/Proof/proof_syntax.ML src/Pure/ROOT.ML

2014-03-18 wenzelm [Tue, 18 Mar 2014 16:16:28 +0100] rev 56205
clarified modules;
more antiquotations for antiquotations;
NEWS src/Pure/ML/ml_antiquotation.ML src/Pure/ML/ml_antiquotations.ML src/Pure/ML/ml_context.ML src/Pure/ML/ml_thms.ML src/Pure/Pure.thy src/Pure/ROOT.ML src/Tools/Code/code_runtime.ML

2014-03-18 wenzelm [Tue, 18 Mar 2014 15:29:58 +0100] rev 56204
more antiquotations;
src/Pure/Isar/class.ML src/Pure/Isar/code.ML src/Pure/Isar/context_rules.ML src/Pure/Isar/isar_cmd.ML src/Pure/Isar/locale.ML src/Pure/Isar/method.ML src/Pure/Thy/term_style.ML src/Pure/Thy/thy_load.ML src/Pure/Thy/thy_output.ML src/Pure/pure_syn.ML src/Pure/simplifier.ML

2014-03-18 wenzelm [Tue, 18 Mar 2014 13:36:28 +0100] rev 56203
clarified bootstrap process: switch to ML with context and antiquotations earlier;
src/Pure/Isar/outer_syntax.ML src/Pure/ML/ml_context.ML src/Pure/ML/ml_env.ML src/Pure/ROOT.ML src/Pure/Thy/term_style.ML

2014-03-18 wenzelm [Tue, 18 Mar 2014 12:25:17 +0100] rev 56202
more markup for improper elements;
src/Pure/Isar/args.ML src/Pure/Isar/parse.ML src/Pure/Isar/proof_context.ML src/Pure/Isar/token.ML src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Tools/jEdit/etc/options src/Tools/jEdit/src/rendering.scala

2014-03-18 wenzelm [Tue, 18 Mar 2014 11:27:09 +0100] rev 56201
tuned signature;
src/HOL/Tools/recdef.ML src/Pure/Isar/args.ML src/Pure/Isar/method.ML src/Pure/Isar/parse.ML src/Pure/Isar/parse_spec.ML src/Pure/ML/ml_context.ML src/Pure/Thy/term_style.ML src/Pure/Thy/thy_output.ML src/Tools/Code/code_target.ML

2014-03-18 wenzelm [Tue, 18 Mar 2014 11:13:38 +0100] rev 56200
unused;
src/Pure/Isar/args.ML