--- a/etc/settings Mon Nov 15 15:41:58 2010 +0100
+++ b/etc/settings Mon Nov 15 17:14:43 2010 +0100
@@ -18,13 +18,13 @@
# Poly/ML 5.x (automated settings)
POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")"
ML_PLATFORM="$ISABELLE_PLATFORM"
-ML_HOME=$(choosefrom \
+ML_HOME="$(choosefrom \
"$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
"$ISABELLE_HOME/../polyml/$ML_PLATFORM" \
"/usr/local/polyml/$ML_PLATFORM" \
"/usr/share/polyml/$ML_PLATFORM" \
"/opt/polyml/$ML_PLATFORM" \
- $POLY_HOME)
+ "$POLY_HOME")"
ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
ML_OPTIONS="-H 200"
ML_SOURCES="$ML_HOME/../src"
@@ -170,13 +170,13 @@
###
# Proof General home, look in a variety of places
-PROOFGENERAL_HOME=$(choosefrom \
+PROOFGENERAL_HOME="$(choosefrom \
"$ISABELLE_HOME/contrib/ProofGeneral" \
"$ISABELLE_HOME/../ProofGeneral" \
"/usr/local/ProofGeneral" \
"/usr/share/ProofGeneral" \
"/opt/ProofGeneral" \
- "")
+ "")"
PROOFGENERAL_OPTIONS=""
#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets"