1.1 --- a/bin/isabelle	Sat Nov 28 17:59:02 2009 +0100
     1.2 +++ b/bin/isabelle	Sat Nov 28 18:17:10 2009 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4    echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
     1.5    echo
     1.6    echo "  Available tools are:"
     1.7 -  for DIR in ${TOOLS[@]}
     1.8 +  for DIR in "${TOOLS[@]}"
     1.9    do
    1.10      if [ -d "$DIR" ]; then
    1.11        for TOOL in "$DIR"/*

     2.1 --- a/lib/Tools/findlogics	Sat Nov 28 17:59:02 2009 +0100
     2.2 +++ b/lib/Tools/findlogics	Sat Nov 28 18:17:10 2009 +0100
     2.3 @@ -39,4 +39,4 @@
     2.4    done
     2.5  done
     2.6  
     2.7 -echo $({ for L in ${LOGICS[@]}; do echo "$L"; done; } | sort | uniq)
     2.8 +echo $({ for L in "${LOGICS[@]}"; do echo "$L"; done; } | sort | uniq)