Admin/check_ml_headers
changeset 28504 7ad7d7d6df47
parent 24618 6ab574864cd4
child 36859 51af1657263b
     1.1 --- a/Admin/check_ml_headers	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/Admin/check_ml_headers	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4    REPORT_EMPTY=1
     1.5  fi
     1.6  
     1.7 -ISABELLE_SRC="$(isatool getenv -b ISABELLE_HOME)/src/"
     1.8 +ISABELLE_SRC="$(isabelle getenv -b ISABELLE_HOME)/src/"
     1.9  
    1.10  for LOC in $(find "$ISABELLE_SRC" -name "*.ML")
    1.11  do