uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice;

tuned GUI events;

tuned;

tuned spelling;

clarified PIDE modules;

clarified;

tuned signature;

tuned imports;

tuned headers;

tuned signature;

more complete classical rules for Inf and Sup, modelled after theiry counterparts on Inter and Union (and INF and SUP)

subsumed by existing default simp rules for functions and booleans

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