2014-04-26 haftmann [Sat, 26 Apr 2014 13:25:44 +0200] rev 56739
avoid non-standard simp default rule
src/Doc/Tutorial/Protocol/NS_Public.thy

2014-04-26 kleing [Sat, 26 Apr 2014 21:37:09 +1000] rev 56738
retired wwwfind
NEWS etc/components src/Tools/ROOT src/Tools/WWW_Find/Start_WWW_Find.thy src/Tools/WWW_Find/WWW_Find.thy src/Tools/WWW_Find/doc/README src/Tools/WWW_Find/doc/design.tex src/Tools/WWW_Find/echo.ML src/Tools/WWW_Find/etc/settings src/Tools/WWW_Find/etc/symbols src/Tools/WWW_Find/find_theorems.ML src/Tools/WWW_Find/html_templates.ML src/Tools/WWW_Find/html_unicode.ML src/Tools/WWW_Find/http_status.ML src/Tools/WWW_Find/http_util.ML src/Tools/WWW_Find/lib/Tools/wwwfind src/Tools/WWW_Find/lighttpd.conf src/Tools/WWW_Find/mime.ML src/Tools/WWW_Find/scgi_req.ML src/Tools/WWW_Find/scgi_server.ML src/Tools/WWW_Find/socket_util.ML src/Tools/WWW_Find/unicode_symbols.ML src/Tools/WWW_Find/www/basic.css src/Tools/WWW_Find/www/find_theorems.js src/Tools/WWW_Find/www/pasting_help.html src/Tools/WWW_Find/xhtml.ML

2014-04-26 blanchet [Sat, 26 Apr 2014 06:43:06 +0200] rev 56737
use right set of variables for recursive check
src/HOL/Tools/BNF/bnf_lfp_size.ML

2014-04-26 wenzelm [Sat, 26 Apr 2014 00:20:53 +0200] rev 56736
merged

2014-04-26 wenzelm [Sat, 26 Apr 2014 00:20:26 +0200] rev 56735
tuned -- potentially more robust;
src/Pure/PIDE/session.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 23:47:39 +0200] rev 56734
suppress potential dangerous option (see 1baa5d19ac44);
etc/options

2014-04-25 wenzelm [Fri, 25 Apr 2014 23:42:25 +0200] rev 56733
manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/PIDE/session.scala src/Pure/System/message_channel.ML

2014-04-25 wenzelm [Fri, 25 Apr 2014 23:29:54 +0200] rev 56732
modernized theory setup;
src/HOL/Record.thy src/HOL/Tools/record.ML

2014-04-25 wenzelm [Fri, 25 Apr 2014 22:10:03 +0200] rev 56731
just one default thread pool (which is hardwired to Runtime.availableProcessors);
src/Pure/Concurrent/future.scala src/Tools/jEdit/etc/settings

2014-04-25 wenzelm [Fri, 25 Apr 2014 21:31:39 +0200] rev 56730
tuned signature -- separate pool for JFuture tasks, which can be canceled;
src/Pure/Concurrent/simple_thread.scala src/Pure/System/invoke_scala.scala src/Pure/library.scala src/Tools/jEdit/src/pretty_text_area.scala