# HG changeset patch
# User wenzelm
# Date 1259428630 -3600
# Node ID 44a10fe6bd1061edb29278f60c5b5ed3d8f1b609
# Parent  d17f447fec02082e383c622f4e2e8972b24741f4
proper quoting of array expansion -- allow spaces in components;

diff -r d17f447fec02 -r 44a10fe6bd10 bin/isabelle
--- 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"/*
diff -r d17f447fec02 -r 44a10fe6bd10 lib/Tools/findlogics
--- 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)