tuned signature -- accomodate operations of ROOT files;

tuned -- prefer Isabelle/Scala operations;

tuned proofs;

tuned;

tuned proofs;

improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;

tuned -- fewer aliases of critical operations;

removed dead code; tuned comments;

tuned comments;

more systematic delay_first discipline for change_buffer and prune_history;

mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;

tuned;

added Scala version of module Event_Timer;

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