2014-03-01 wenzelm [Sat, 01 Mar 2014 19:55:01 +0100] rev 55827
clarified module structure;
src/Tools/jEdit/src/font_info.scala src/Tools/jEdit/src/isabelle.scala

2014-03-01 wenzelm [Sat, 01 Mar 2014 19:43:35 +0100] rev 55826
tuned;
src/Tools/jEdit/src/font_info.scala src/Tools/jEdit/src/pretty_text_area.scala

2014-03-01 wenzelm [Sat, 01 Mar 2014 19:39:27 +0100] rev 55825
tuned signature -- separate module Font_Info;
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/completion_popup.scala src/Tools/jEdit/src/find_dockable.scala src/Tools/jEdit/src/font_info.scala src/Tools/jEdit/src/info_dockable.scala src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/isabelle_sidekick.scala src/Tools/jEdit/src/output_dockable.scala src/Tools/jEdit/src/pretty_text_area.scala src/Tools/jEdit/src/pretty_tooltip.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/simplifier_trace_dockable.scala src/Tools/jEdit/src/simplifier_trace_window.scala src/Tools/jEdit/src/sledgehammer_dockable.scala src/Tools/jEdit/src/symbols_dockable.scala

2014-03-01 wenzelm [Sat, 01 Mar 2014 18:33:49 +0100] rev 55824
tuned;
src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/rendering.scala

2014-03-01 wenzelm [Sat, 01 Mar 2014 16:34:30 +0100] rev 55823
font size change with delay, to avoid GUI lagging behind user input;
src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/rendering.scala

2014-03-01 wenzelm [Sat, 01 Mar 2014 15:58:47 +0100] rev 55822
incorporate chunk range that is 1 off end-of-input, for improved error positions (NB: command spans are tight, without trailing whitespace);
tuned signature;
src/Pure/PIDE/command.scala src/Pure/PIDE/protocol.scala src/Tools/jEdit/src/jedit_editor.scala

2014-03-01 wenzelm [Sat, 01 Mar 2014 13:05:46 +0100] rev 55821
more symbols, less parentheses;
src/HOL/Library/BigO.thy

2014-03-01 wenzelm [Sat, 01 Mar 2014 12:07:26 +0100] rev 55820
tuned signature -- more explicit Document.Elements;
src/Pure/PIDE/document.scala src/Pure/PIDE/markup_tree.scala src/Pure/PIDE/protocol.scala src/Tools/jEdit/src/rendering.scala

2014-03-01 traytel [Sat, 01 Mar 2014 20:40:31 +0100] rev 55819
made SML/NJ happier
src/HOL/Tools/BNF/bnf_fp_n2m.ML

2014-03-01 haftmann [Sat, 01 Mar 2014 17:08:39 +0100] rev 55818
more precise imports;
avoid duplicated simp rules in fact collections;
dropped redundancy
NEWS src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy src/HOL/SPARK/Examples/RIPEMD-160/RMD_Specification.thy src/HOL/SPARK/Examples/RIPEMD-160/Round.thy src/HOL/Word/Word.thy