src/Pure/General/output.scala
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;