lib/scripts/getsettings

 {
   "$ISABELLE_TOOL" "$@"
 }
 
 #platform
-. "$ISABELLE_HOME/lib/scripts/isabelle-platform"
+source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
 #Isabelle distribution identifier -- filled in automatically!
 ISABELLE_ID=""
 ISABELLE_IDENTIFIER=""
 

       exit 2
       ;;
   esac
 
   if [ ! -d "$COMPONENT" ]; then
-    echo >&2 "Bad Isabelle component: \"$COMPONENT\""
+    echo >&2 "Missing Isabelle component directory: \"$COMPONENT\""
     exit 2
   elif [ -z "$ISABELLE_COMPONENTS" ]; then
     ISABELLE_COMPONENTS="$COMPONENT"
   else
     ISABELLE_COMPONENTS="$ISABELLE_COMPONENTS:$COMPONENT"