more documentation;

tuned NEWS for release;

tuned GUI: no scroll_bottom for completely different output;

tuned GUI: preserve horizontal scrollbar position;

tuned: more robust Isabelle symbols;

tuned: fewer warnings in IntelliJ IDEA;

tuned message;

more complete brackets for jEdit modes; tuned: more robust Isabelle symbols;

tuned: more robust Isabelle symbols;

clarified modules: more robust Isabelle symbols;

more thorough "isabelle check_sources";

streamlined and actually integrated

merged

added lemma

merged

add find_facts_web component;

web component for Find_Facts: bundled assets and compiled elm app;

clarified;

clarified output file;

clarified;

tuned;

tuned: use Isabelle symbols for icons;

css service, e.g. for dynamic web apps;

more mime types;

proper error message for missing elm component;

clarified web;

more syntax update

updated syntax

more accurate rail diagram (amending de9d43c427ae);

merged

added Example theory

merged

Minor lemma tweaking

merged

merged

tuned output;

tuned comments;

clarified signature; clarified modules;

tuned;

avoid tmp files to improve robustness on Windows, where ERROR_PATH_NOT_FOUND has been seen (see also 569135d7352a);

tuned signature: more operations (following Isabelle/Scala);

more operations;

clarified signature: re-use existing Process_Result.T (NB: err_lines are de-facto program startup errors, anything else is redirected to out_lines);

tuned signature: more explicit operations;

tuned output;

misc tuning;

tuned Isabelle/ML: more uniform semicolons;

clarified signature: scalable Bash.input thanks to Bytes.T;

added time_partial_function command

A couple of theorems proved by Manuel Eberl from his AFP entry Sum_Of_Squares_Count

tuned;

tuned;

tuned signature;

proper Path.print for user output (amending 9498623b27f0);

tuned signature: more concise access to context data;

tuned English prose;