diff -r a30b7169fdd1 -r 7ad7d7d6df47 Admin/check_ml_headers --- a/Admin/check_ml_headers Sat Oct 04 16:19:49 2008 +0200 +++ b/Admin/check_ml_headers Sat Oct 04 17:40:56 2008 +0200 @@ -19,7 +19,7 @@ REPORT_EMPTY=1 fi -ISABELLE_SRC="$(isatool getenv -b ISABELLE_HOME)/src/" +ISABELLE_SRC="$(isabelle getenv -b ISABELLE_HOME)/src/" for LOC in $(find "$ISABELLE_SRC" -name "*.ML") do