src/Pure/Tools/check_source.scala
2014-05-02 wenzelm 2014-05-02 tuned signature -- channels for diagnostic output for system tools means stderr;
2014-05-02 wenzelm 2014-05-02 proper tool wrap-up;
2014-04-29 wenzelm 2014-04-29 tuned;
2014-04-29 wenzelm 2014-04-29 some sanity checks for Isabelle sources;