tuned

tuned proofs;

tuned proofs;

maintain commands together with index -- avoid redundant reconstruction of full_index;

more elementary list structures for markup tree traversal;

tuning

enrich exported ML function's signature

merged

more NEWS and CONTRIBUTORS;

some documentation for adhoc overloading; spell-checked;

added examples of adhoc overloading

use uniform spelling of "adhoc"

tuned formatting of error message

tuned proofs;

tuned signature; tuned;

more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness;

tuned;

tuned signature;

enabled key event to apply query;

prefer single-line HistoryTextField;

contract equalities in transfer and transfer domain rules when they are registered

expand equalities in the transfer relation in transfer_prover if the relation doesn't follow the functional structure

merged

misc tuning and simplification;

more generic button;

support for query operations that consist of parallel segments;

more tooltips;

tuned -- more explicit type Status.Value;

more explicit status for query operation; avoid output with outdated snapshot; animation rate according to status; added PIDE.document_snapshot convenience -- independent of availability of physical buffer;

tuned signature;