2014-04-25 wenzelm [Fri, 25 Apr 2014 20:07:39 +0200] rev 56728
unused;
src/Pure/Thy/thy_info.scala src/Pure/library.scala

2014-04-25 blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 56727
use Z3 4.3.2 to fix most FIXMEs
src/HOL/SMT_Examples/SMT_Examples.certs src/HOL/SMT_Examples/SMT_Examples.certs2 src/HOL/SMT_Examples/SMT_Examples.thy src/HOL/SMT_Examples/SMT_Tests.thy src/HOL/SMT_Examples/SMT_Word_Examples.certs2

2014-04-25 blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 56726
added Z3 4.3.2 (unstable) component
Admin/components/components.sha1 Admin/components/main src/HOL/Tools/SMT2/smt2_systems.ML

2014-04-25 blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 56725
updated Z3 version number
src/Doc/Sledgehammer/document/root.tex

2014-04-25 blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 56724
use Z3 4.3.2 syntax
src/HOL/Tools/SMT2/smt2_systems.ML

2014-04-25 haftmann [Fri, 25 Apr 2014 21:45:04 +0200] rev 56723
subscription as target-specific implementation device
src/Pure/Isar/class.ML src/Pure/Isar/expression.ML src/Pure/Isar/local_theory.ML src/Pure/Isar/named_target.ML src/Pure/Isar/overloading.ML src/Tools/permanent_interpretation.ML

2014-04-25 wenzelm [Fri, 25 Apr 2014 17:54:54 +0200] rev 56722
make SML/NJ happier;
src/HOL/Tools/Transfer/transfer.ML

2014-04-25 wenzelm [Fri, 25 Apr 2014 14:39:11 +0200] rev 56721
merged
src/Pure/Concurrent/volatile.scala src/Pure/System/event_bus.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 14:18:13 +0200] rev 56720
updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML;
removed obsolete properties for old actors;
src/Tools/jEdit/etc/settings

2014-04-25 wenzelm [Fri, 25 Apr 2014 13:55:50 +0200] rev 56719
simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post;
src/Pure/PIDE/session.scala