2013-08-02 wenzelm [Fri, 02 Aug 2013 16:02:06 +0200] rev 52851
minimal print function "find_theorems", which merely echos its arguments;
src/Pure/Tools/find_theorems.ML src/Tools/jEdit/src/find_dockable.scala

2013-08-02 wenzelm [Fri, 02 Aug 2013 16:00:14 +0200] rev 52850
support print functions with explicit arguments, as provided by overlays;
src/Pure/PIDE/command.ML src/Pure/PIDE/document.ML src/Tools/try.ML

2013-08-02 wenzelm [Fri, 02 Aug 2013 14:26:09 +0200] rev 52849
maintain overlays within node perspective;
tuned signature;
src/Pure/PIDE/command.scala src/Pure/PIDE/document.ML src/Pure/PIDE/document.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/Thy/thy_syntax.scala src/Tools/jEdit/src/document_model.scala

2013-08-02 wenzelm [Fri, 02 Aug 2013 12:19:29 +0200] rev 52848
some tracking of command location;
tuned;
src/Tools/jEdit/src/find_dockable.scala

2013-08-02 wenzelm [Fri, 02 Aug 2013 12:17:55 +0200] rev 52847
tuned proofs;
src/HOL/MicroJava/DFA/Kildall.thy src/HOL/MicroJava/J/Conform.thy src/HOL/MicroJava/J/State.thy

2013-08-02 wenzelm [Fri, 02 Aug 2013 11:51:21 +0200] rev 52846
dockable window for "find" dialog (GUI only);
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/dockables.xml src/Tools/jEdit/src/find_dockable.scala

2013-08-02 wenzelm [Fri, 02 Aug 2013 11:50:38 +0200] rev 52845
tuned;
src/Tools/jEdit/src/output_dockable.scala

2013-08-02 traytel [Fri, 02 Aug 2013 22:36:31 +0200] rev 52844
more robust tactics (don't use unfolding when RHS might contain schematics not contained on the LHS)
src/HOL/BNF/Examples/Misc_Data.thy src/HOL/BNF/Tools/bnf_def.ML src/HOL/BNF/Tools/bnf_def_tactics.ML

2013-08-02 blanchet [Fri, 02 Aug 2013 21:52:45 +0200] rev 52843
more (co)datatype docs
src/Doc/Datatypes/Datatypes.thy

2013-08-02 nipkow [Fri, 02 Aug 2013 19:21:34 +0200] rev 52842
tuned exercises
src/Doc/ProgProve/Bool_nat_list.thy