Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 31423 79e707bb0d6b
parent 31309 be0c4236fe44
child 31436 dde1b4d1c95b 
--- a/etc/settings	Wed Jun 03 12:24:09 2009 -0700
+++ b/etc/settings	Thu Jun 04 12:09:07 2009 +0200
@@ -225,17 +225,17 @@
 E_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
   "$ISABELLE_HOME/../E/$ML_PLATFORM" \
-  "/usr/local/E" \
+  "/usr/local/E/$ML_PLATFORM" \
   "")
 VAMPIRE_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
   "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
-  "/usr/local/Vampire" \
+  "/usr/local/vampire/$ML_PLATFORM" \
   "")
 SPASS_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
   "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
-  "/usr/local/SPASS" \
+  "/usr/local/spass/$ML_PLATFORM" \
   "")
 
 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
isabelle