History log of /seL4-l4v-10.1.1/isabelle/Admin/check_ml_headers
Revision Date Author Comments
# 7ffdbab0 08-Jul-2010 haftmann <none@none>

tuned script
# 4ea075cc 12-May-2010 wenzelm <none@none>

removed obsolete CVS Ids;
# f208fd4b 04-Oct-2008 wenzelm <none@none>

simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
# bf18c24d 17-Sep-2007 haftmann <none@none>

added script checking for consistency of ML file header