wenzelm [Fri, 25 Apr 2014 20:07:39 +0200] rev 58070
unused;
blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 58069
use Z3 4.3.2 to fix most FIXMEs
blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 58068
added Z3 4.3.2 (unstable) component
blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 58067
updated Z3 version number
blanchet [Fri, 25 Apr 2014 22:13:17 +0200] rev 58066
use Z3 4.3.2 syntax
haftmann [Fri, 25 Apr 2014 21:45:04 +0200] rev 58065
subscription as target-specific implementation device
wenzelm [Fri, 25 Apr 2014 17:54:54 +0200] rev 58064
make SML/NJ happier;
wenzelm [Fri, 25 Apr 2014 14:39:11 +0200] rev 58063
merged
wenzelm [Fri, 25 Apr 2014 14:18:13 +0200] rev 58062
updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML;
removed obsolete properties for old actors;
wenzelm [Fri, 25 Apr 2014 13:55:50 +0200] rev 58061
simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post;