2014-02-04 paulson <lp15@cam.ac.uk> [Tue, 04 Feb 2014 21:29:46 +0000] rev 55322
removal of "back", etc.
src/HOL/Number_Theory/MiscAlgebra.thy

2014-02-04 paulson <lp15@cam.ac.uk> [Tue, 04 Feb 2014 21:28:38 +0000] rev 55321
Restoration of Pocklington.thy. Tidying.
src/HOL/Number_Theory/Cong.thy src/HOL/Number_Theory/Pocklington.thy src/HOL/ROOT

2014-02-04 nipkow [Tue, 04 Feb 2014 21:01:35 +0100] rev 55320
tuned latex
src/Doc/ProgProve/Bool_nat_list.thy

2014-02-04 nipkow [Tue, 04 Feb 2014 17:59:33 +0100] rev 55319
tuned latex
src/Doc/ProgProve/document/prelude.tex

2014-02-04 nipkow [Tue, 04 Feb 2014 17:44:15 +0100] rev 55318
tuned
src/Doc/ProgProve/Bool_nat_list.thy src/Doc/ProgProve/Types_and_funs.thy

2014-02-04 nipkow [Tue, 04 Feb 2014 17:38:54 +0100] rev 55317
started index
src/Doc/ProgProve/Basics.thy src/Doc/ProgProve/Bool_nat_list.thy src/Doc/ProgProve/Isar.thy src/Doc/ProgProve/Logic.thy src/Doc/ProgProve/Types_and_funs.thy src/Doc/ProgProve/document/prelude.tex

2014-02-04 Lars Hupel <lars.hupel@mytum.de> [Tue, 04 Feb 2014 09:04:59 +0000] rev 55316
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
CONTRIBUTORS NEWS src/Pure/PIDE/markup.scala src/Pure/System/session.scala src/Pure/Tools/simplifier_trace.ML src/Pure/Tools/simplifier_trace.scala src/Pure/raw_simplifier.ML src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/active.scala src/Tools/jEdit/src/dockables.xml src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/jEdit.props src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/simplifier_trace_dockable.scala src/Tools/jEdit/src/simplifier_trace_window.scala

2014-02-04 blanchet [Tue, 04 Feb 2014 01:35:48 +0100] rev 55315
removed legacy 'metisFT' method
NEWS src/HOL/Tools/Metis/metis_tactic.ML src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML

2014-02-04 blanchet [Tue, 04 Feb 2014 01:03:28 +0100] rev 55314
tuning
src/HOL/Tools/Sledgehammer/sledgehammer_isar_minimize.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML

2014-02-04 blanchet [Tue, 04 Feb 2014 00:04:55 +0100] rev 55313
tuning
src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML