Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bin/isabelle
changeset 33915 44a10fe6bd10
parent 32390 468eff174a77
child 42077 96c50a4210a2 
--- 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"/*
isabelle