--- a/bin/isabelle Sat Nov 28 17:59:02 2009 +0100
+++ b/bin/isabelle Sat Nov 28 18:17:10 2009 +0100
@@ -30,7 +30,7 @@
echo " Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
echo
echo " Available tools are:"
- for DIR in ${TOOLS[@]}
+ for DIR in "${TOOLS[@]}"
do
if [ -d "$DIR" ]; then
for TOOL in "$DIR"/*
--- a/lib/Tools/findlogics Sat Nov 28 17:59:02 2009 +0100
+++ b/lib/Tools/findlogics Sat Nov 28 18:17:10 2009 +0100
@@ -39,4 +39,4 @@
done
done
-echo $({ for L in ${LOGICS[@]}; do echo "$L"; done; } | sort | uniq)
+echo $({ for L in "${LOGICS[@]}"; do echo "$L"; done; } | sort | uniq)