src/Pure/General/output.scala
18 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
2017-05-14 wenzelm 2017-05-14 tuned signature;
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-04-09 wenzelm 2016-04-09 clean message more thoroughly;
2016-04-09 wenzelm 2016-04-09 shared output primitives of physical/virtual Pure;
2016-03-07 wenzelm 2016-03-07 tuned signature;
2016-02-13 wenzelm 2016-02-13 suppress empty messages as in ML;
2015-03-10 wenzelm 2015-03-10 more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
2014-07-01 wenzelm 2014-07-01 clarified quasi-generic PIDE;
2014-05-02 wenzelm 2014-05-02 prefer scala.Console with its support for thread-local redirection;
2014-05-02 wenzelm 2014-05-02 tuned signature -- channels for diagnostic output for system tools means stderr;
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2010-05-21 wenzelm 2010-05-21 more abstract view on prover output messages;