2014-05-21 blanchet [Wed, 21 May 2014 14:09:43 +0200] rev 57039
added comment
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

2014-05-21 blanchet [Wed, 21 May 2014 14:09:42 +0200] rev 57038
move exhaust first, for technical reasons
src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML

2014-05-21 blanchet [Wed, 21 May 2014 14:09:42 +0200] rev 57037
avoid markup-generating @{make_string}
src/HOL/Tools/Sledgehammer/sledgehammer.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

2014-05-21 hoelzl [Wed, 21 May 2014 13:52:46 +0200] rev 57036
generalized Bochner integral over infinite sums
src/HOL/Probability/Bochner_Integration.thy src/HOL/Probability/Borel_Space.thy

2014-05-21 wenzelm [Wed, 21 May 2014 12:49:27 +0200] rev 57035
unused;
src/Tools/Graphview/src/main_panel.scala

2014-05-21 wenzelm [Wed, 21 May 2014 12:34:27 +0200] rev 57034
obsolete;
src/Pure/build-jars src/Tools/Graphview/src/graphview.scala

2014-05-21 wenzelm [Wed, 21 May 2014 12:14:03 +0200] rev 57033
approximative update of versions;
src/Tools/jEdit/src/Isabelle.props

2014-05-21 wenzelm [Wed, 21 May 2014 12:03:46 +0200] rev 57032
incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time;
discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);
src/Pure/General/graph_display.ML src/Pure/build-jars src/Tools/Graphview/etc/settings src/Tools/Graphview/lib/Tools/graphview src/Tools/jEdit/lib/Tools/jedit

2014-05-21 Lars Hupel <lars.hupel@mytum.de> [Wed, 21 May 2014 10:13:12 +0200] rev 57031
remove stray println;
src/Tools/jEdit/src/simplifier_trace_window.scala

2014-05-20 blanchet [Tue, 20 May 2014 22:48:15 +0200] rev 57030
CONTRIBUTORS
CONTRIBUTORS