tuned;

clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. "isabelle phabricator ./bin/config help");

avoid println with its extra CR on Windows;

tuned signature;

discontinued unused / untested distinction of separate PIDE modules;

clean message more thoroughly;

shared output primitives of physical/virtual Pure;

tuned signature;

suppress empty messages as in ML;

more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;

clarified quasi-generic PIDE;

prefer scala.Console with its support for thread-local redirection;

tuned signature -- channels for diagnostic output for system tools means stderr;

more systematic Isabelle output, like in classic Isabelle/ML (without markup);

simplified message markup, using plain XML.Elem directly;

more abstract view on prover output messages;