src/Pure/Tools/check_source.scala
Thu, 20 Aug 2015 19:15:17 +0200 wenzelm tuned signature, according to ML version;
Fri, 02 May 2014 19:51:40 +0200 wenzelm tuned signature -- channels for diagnostic output for system tools means stderr;
less more (0) -2 tip