clarified file names;

clarified build_polyml_component: include IDE entry point for ML compiler;

merged

tuned spelling;

new examples of BNF lifting across quotients using a new theory of confluence,

Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.

Remove unused variable. This should have been removed in commit 889f7c37.

Fix case problem in one entry.

Removed unnecessary and problematic trivial lemma from HOL-Algebra

proper executable file;

more documentation: odd option for special situations;

tuned;

updated to sumatra_pdf-3.1.2-1: x86_64-windows;

updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;

updated to opam-2.0.6;

updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;

updated to jdk-11.0.6+10;

misc tuning, following hint by IntelliJ;

tuned;

tuned -- avoid deprecated constructors;

unused -- clone of Option.apply;

proper comparison of Option values, following hint by IntelliJ;

added "isabelle scala_project" to support e.g. IntelliJ IDEA;

unused;

more antiquotations;

tuned messages;

tuned;

clarified output channel;

clarified option -f: avoid accidental target_clean for proper release snapshot;

more robust;

updated to sqlite-jdbc-3.30.1;

updated to postgresql-42.2.9;

build in $ISABELLE_HOME;

build in $ISABELLE_HOME;

clarified fresh build;