simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
5 # check_ml_headers - check headers of *.ML files in Distribution for inconsistencies
7 # requires some GNU tools
22 ISABELLE_SRC="$(isabelle getenv -b ISABELLE_HOME)/src/"
24 for LOC in $(find "$ISABELLE_SRC" -name "*.ML")
26 TITLE="$(head -n 1 "$LOC" | grep -Po '(?<=Title:)\s*\S+.ML' | grep -Po '\S+.ML')"
27 FILELOC="${LOC:${#ISABELLE_SRC}}"
28 if [ "$TITLE" != "$FILELOC" ]
30 if [ -n "$REPORT_EMPTY" -o -n "$TITLE" ]
32 if [ -n "$ONLY_FILENAMES" ]
34 echo "Inconsistency in $LOC: $TITLE"