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