etc/settings
changeset 17119 b241ba3eb4db
parent 17048 9aa7f0a2bbf5
child 17383 3eb21fb8c2ec
     1.1 --- a/etc/settings	Thu Aug 18 12:07:33 2005 +0200
     1.2 +++ b/etc/settings	Thu Aug 18 12:11:06 2005 +0200
     1.3 @@ -22,8 +22,8 @@
     1.4  ML_HOME=$(choosefrom \
     1.5    "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
     1.6    "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \
     1.7 +  "/usr/local/polyml/$ML_PLATFORM" \
     1.8    "/usr/share/polyml/$ML_PLATFORM" \
     1.9 -  "/usr/local/polyml/$ML_PLATFORM" \
    1.10    "/opt/polyml/$ML_PLATFORM" \
    1.11    $POLY_HOME)
    1.12  ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
    1.13 @@ -148,8 +148,8 @@
    1.14  ISABELLE_INTERFACE=$(choosefrom\
    1.15    "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
    1.16    "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
    1.17 +  "/usr/local/ProofGeneral/isar/interface" \
    1.18    "/usr/share/ProofGeneral/isar/interface" \
    1.19 -  "/usr/local/ProofGeneral/isar/interface" \
    1.20    "/opt/ProofGeneral/isar/interface" \
    1.21    "/usr/share/emacs/ProofGeneral/isar/interface" \
    1.22    "$ISABELLE_INTERFACE")