src/HOL/Tools/Predicate_Compile/etc/settings

--- a/src/HOL/Tools/Predicate_Compile/etc/settings	Mon Dec 20 14:44:00 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/etc/settings	Mon Dec 20 15:19:15 2010 +0100
@@ -1,5 +1,8 @@
 # -*- shell-script -*- :mode=shellscript:
 
+# FIXME contrib_devel not official
+# FIXME $(type -p swipl) etc. does not allow spaces in file name
+
 EXEC_SWIPL="$(choosefrom \
   "$ISABELLE_HOME/contrib/swipl/$ISABELLE_PLATFORM/bin/swipl" \
   "$ISABELLE_HOME/contrib_devel/swipl/$ISABELLE_PLATFORM/bin/swipl" \