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

2014-05-20 blanchet [Tue, 20 May 2014 22:28:44 +0200] rev 57029
added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)
NEWS src/Doc/Sledgehammer/document/root.tex src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

2014-05-20 blanchet [Tue, 20 May 2014 22:28:08 +0200] rev 57028
added Isabelle system option 'mash'
NEWS src/Doc/Sledgehammer/document/root.tex src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML src/HOL/Tools/etc/options

2014-05-20 wenzelm [Tue, 20 May 2014 21:13:21 +0200] rev 57027
updated cygwin;
Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat Admin/Windows/Cygwin/Cygwin-Setup.bat Admin/Windows/Cygwin/README Admin/components/components.sha1 Admin/lib/Tools/makedist_cygwin

2014-05-20 wenzelm [Tue, 20 May 2014 20:05:43 +0200] rev 57026
afford strict check (see also AFP/a8e08d947f0a);
src/Pure/Isar/outer_syntax.ML