tuned

avoid non-standard simp default rule

retired wwwfind

use right set of variables for recursive check

merged

tuned -- potentially more robust;

suppress potential dangerous option (see 1baa5d19ac44);

manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);

modernized theory setup;

just one default thread pool (which is hardwired to Runtime.availableProcessors);

tuned signature -- separate pool for JFuture tasks, which can be canceled;

prefer Isabelle/Scala operations;

unused;

use Z3 4.3.2 to fix most FIXMEs

added Z3 4.3.2 (unstable) component

updated Z3 version number

use Z3 4.3.2 syntax

subscription as target-specific implementation device

make SML/NJ happier;

merged

updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML; removed obsolete properties for old actors;

simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post;

replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;

tuned whitespace;

obsolete;

clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;

tuned comments;

more robust prover termination;

more explicit checks;

tuned signature;