restored naming trick

more reliable 'name_of_bnf'

cleaner 'rel_inject' theorems

modernized Isabelle classpath for graphview;

tuned;

merged

NEWS;

tuned message;

proper handling of shared zoom component: update layout dynamically;

PIDE support for find_consts;

some rearrangements to support multiple find operations;

tuned;

clarified GUI focus;

actually observe search limit;

misc tuning;

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

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;

more uniform warning/error handling, potentially with propagation to send_wait caller;

more careful shutdown (amending f2f53f7046f4);

misc tuning;