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.
src/HOL/Tools/Predicate_Compile/etc/settings
changeset 41690 53b1da988e75
parent 41308 9e576ec5c0dc
child 41952 c7297638599b 
--- a/src/HOL/Tools/Predicate_Compile/etc/settings	Wed Feb 02 12:34:45 2011 +0100
+++ b/src/HOL/Tools/Predicate_Compile/etc/settings	Wed Feb 02 13:53:06 2011 +0100
@@ -17,4 +17,4 @@
   $(type -p yap) \
   "")"
 
-SWIPL_VERSION=$("$COMPONENT/lib/scripts/swipl_version")
+SWIPL_VERSION="$("$COMPONENT/lib/scripts/swipl_version")"
isabelle