updated;

more antiquotations;

document antiquotation @{footnote}; render \<^footnote> as pilcrow -- the rarely used \<paragraph> loses its interpretation;

dummy input handler to imitate former read-only mode, which has changed its meaning in jedit-5.3.0 as mere hint for saving;

eliminated Nitpick's pedantic support for 'emdash'

tuned;

NEWS;

Keyword 'rewrites' identifies rewrite morphisms.

Qualifiers in locale expressions default to mandatory regardless of the command.

merged

tuned signature;

prefer Isabelle/Scala Future;

prefer Isabelle/Scala Future;

tuned imports;

more direct task future implementation, with proper cancel operation; more uniform Future.thread;

tuned;

prefer ad-hoc non-worker threads;

clarified modules;

cancel already running request;

added acknowledgement in Binomial.thy

Merged

Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer

don't pollute local theory with needless names

allow selectors and discriminators with same name as type

make sure that function types are never generated as '> @ A @ B', but always as 'A > B'

merged

avoid premature flushing and thus flashing of text area;

tuned whitespace;

clarified Query_Operation.State, with separate instance to avoid extra flush (see also 6ddeb83eb67a);

redundant;