Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 18 Aug 2005 12:11:06 +0200
changeset 17119 b241ba3eb4db
parent 17118 1ff59b7b35b7
child 17120 4ddeef83bd66
tuned;
etc/settings file | annotate | diff | comparison | revisions 
--- 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")
isabelle