tuned GUI;

tuned message: more compact, imitate actual command line;

enable "PIDE" docking framework by default, and rely on its "Detach" menu item;

some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;

untyped, unscoped, unchecked access to JVM objects;

Documented new property

generate 'map_ident' theorem for BNFs

explicit option to build library, which takes most of the time; produce minimal index, e.g. for test web page;

NEWS;

merged

more symbols; tuned proofs;

tuned message: "step" goes back to TTY mode before Proof General, while "depth" is more informative but sometimes confusing due to implementation details;

print results as "state", to avoid intrusion into the source text; print new local theory (again);

run commands as interactive, again after long history of fluctuation (9e196062bf88, 173974e07dea, e07dacec79e7) and quite different infrastructure for print tasks;

discontinued Toplevel.print flag -- print uniformly according to Keyword.is_printed;

more emphatic output for Proof General;

tuned;

tuned defaults;

tuned message -- more context for detached window etc.;

tuned signature;

avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.

tuned GUI for Windows L&F;

clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;

tuned GUI layout;

clarified GUI events, e.g. relevant for insert via completion;

more robust line_range, according to usual jEdit confusion at end of last line (see also 71c5d1f516c0);

common support for search field, which is actually a light-weight Highlighter;

clarified GUI focus;

more uniform detach button;

tuned signature;

renamed "Find" to "Query", with more general operations;

hardwired default_frequency to avoid fluctuation of popup content;