# HG changeset patch
# User wenzelm
# Date 1124359866 -7200
# Node ID b241ba3eb4db8ba0e7ef54f95f7b431e43af3fc9
# Parent  1ff59b7b35b7f69733db5ca62dad3078da897d92
tuned;

diff -r 1ff59b7b35b7 -r b241ba3eb4db etc/settings
--- a/etc/settings	Thu Aug 18 12:07:33 2005 +0200
+++ b/etc/settings	Thu Aug 18 12:11:06 2005 +0200
@@ -22,8 +22,8 @@
 ML_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
   "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \
+  "/usr/local/polyml/$ML_PLATFORM" \
   "/usr/share/polyml/$ML_PLATFORM" \
-  "/usr/local/polyml/$ML_PLATFORM" \
   "/opt/polyml/$ML_PLATFORM" \
   $POLY_HOME)
 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
@@ -148,8 +148,8 @@
 ISABELLE_INTERFACE=$(choosefrom\
   "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
   "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
+  "/usr/local/ProofGeneral/isar/interface" \
   "/usr/share/ProofGeneral/isar/interface" \
-  "/usr/local/ProofGeneral/isar/interface" \
   "/opt/ProofGeneral/isar/interface" \
   "/usr/share/emacs/ProofGeneral/isar/interface" \
   "$ISABELLE_INTERFACE")