diff -r 117eb7aeddf0 -r c7297638599b src/HOL/Tools/Predicate_Compile/etc/settings
--- a/src/HOL/Tools/Predicate_Compile/etc/settings	Sun Mar 13 17:35:35 2011 +0100
+++ b/src/HOL/Tools/Predicate_Compile/etc/settings	Sun Mar 13 19:16:19 2011 +0100
@@ -1,20 +1,4 @@
 # -*- shell-script -*- :mode=shellscript:
 
-# FIXME contrib_devel not official
-# FIXME $(type -p swipl) etc. does not allow spaces in file name
+ISABELLE_PREDICATE_COMPILE="$COMPONENT"
 
-EXEC_SWIPL="$(choosefrom \
-  "$ISABELLE_HOME/contrib/swipl/$ISABELLE_PLATFORM/bin/swipl" \
-  "$ISABELLE_HOME/contrib_devel/swipl/$ISABELLE_PLATFORM/bin/swipl" \
-  "$ISABELLE_HOME/../swipl" \
-  $(type -p swipl) \
-  "")"
-
-EXEC_YAP="$(choosefrom \
-  "$ISABELLE_HOME/contrib/yap/$ISABELLE_PLATFORM/bin/yap" \
-  "$ISABELLE_HOME/contrib_devel/yap/$ISABELLE_PLATFORM/bin/yap" \
-  "$ISABELLE_HOME/../yap" \
-  $(type -p yap) \
-  "")"
-
-SWIPL_VERSION="$("$COMPONENT/lib/scripts/swipl_version")"