Merge branch 'main' into Isabelle_dev

.woodpecker/build.yml

@@ -2,7 +2,7 @@ pipeline:
   build:
     image: docker.io/logicalhacking/isabelle-dev
     commands:
-      - ./.woodpecker/unchecked-theories
+      - ./.woodpecker/check_dangeling_theories
       - ./.woodpecker/check_external_file_refs
       - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
       - mkdir -p $ARTIFACT_DIR

.woodpecker/check_external_file_refs

@@ -1,6 +1,8 @@
 #!/bin/sh
+DIRREGEXP="\\.\\./"
 
-DIRREGEXP="\\.\\.\\/"
+echo "Checking for references pointing outside of session directory:"
+echo "=============================================================="
 
 REGEXP=$DIRREGEXP
 DIR=$DIRMATCH