Admin/check_ml_headers
2010-07-08 ago tuned script
2010-05-12 ago removed obsolete CVS Ids;
2008-10-04 ago simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2007-09-18 ago added script checking for consistency of ML file header