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.
lib/Tools/findlogics
changeset 33915 44a10fe6bd10
parent 32391 5b9d7e578756
child 57414 fe1be2844fda 
--- 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)
isabelle