2014-02-25 wenzelm [Tue, 25 Feb 2014 20:15:47 +0100] rev 55747
more completion rendering: active, semantic, syntactic;
tuned;
src/Tools/jEdit/etc/options src/Tools/jEdit/src/completion_popup.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/rich_text_area.scala

2014-02-25 wenzelm [Tue, 25 Feb 2014 18:07:35 +0100] rev 55746
tuned;
src/Tools/jEdit/src/rendering.scala

2014-02-25 wenzelm [Tue, 25 Feb 2014 17:23:20 +0100] rev 55745
tuned message -- more markup;
src/Pure/Isar/args.ML src/Pure/Isar/token.ML

2014-02-25 wenzelm [Tue, 25 Feb 2014 17:03:55 +0100] rev 55744
clarified token markup: keyword1/keyword2 is for syntax, and "command" the entity kind;
tuned message;
src/Pure/Isar/token.ML src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/Thy/latex.ML src/Pure/Thy/thy_syntax.ML

2014-02-25 wenzelm [Tue, 25 Feb 2014 14:56:58 +0100] rev 55743
proper context for global data;
src/Doc/antiquote_setup.ML src/Pure/ML/ml_context.ML src/Pure/Thy/thy_output.ML

2014-02-25 wenzelm [Tue, 25 Feb 2014 14:34:18 +0100] rev 55742
modernized Method.check_name/check_source (with reports) vs. strict Method.the_method (without interning nor reports), e.g. relevant for semantic completion;
removed obsolete Method.Source_i;
proper context for global data;
tuned messages;
src/Doc/antiquote_setup.ML src/HOL/Tools/try0.ML src/Pure/General/name_space.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/method.ML src/Pure/Isar/proof.ML

2014-02-25 wenzelm [Tue, 25 Feb 2014 12:53:08 +0100] rev 55741
optimize special case according to Library.merge (see also 8fbc355100f2);
no treatment for Net.merge, due to non-standard merge order;
src/Pure/item_net.ML src/Pure/net.ML

2014-02-25 wenzelm [Tue, 25 Feb 2014 11:36:04 +0100] rev 55740
more positions;
tuned messages;
src/Pure/Isar/attrib.ML src/Pure/Isar/proof_context.ML src/Pure/facts.ML src/Pure/global_theory.ML src/ZF/Tools/induct_tacs.ML

2014-02-25 wenzelm [Tue, 25 Feb 2014 10:50:12 +0100] rev 55739
more markup;
src/Pure/Thy/thy_output.ML

2014-02-25 kuncar [Tue, 25 Feb 2014 19:07:42 +0100] rev 55738
simplify a proof due to 6c95a39348bd
src/HOL/Library/FSet.thy