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.
merged
authornipkow
Thu, 04 Jun 2009 13:26:51 +0200
changeset 31439 c02b3fd764f4
parent 31423 79e707bb0d6b (diff)
parent 31438 a1c4c1500abe (current diff)
child 31440 ee1d5bec4ce3
merged
--- a/etc/settings	Thu Jun 04 13:26:32 2009 +0200
+++ b/etc/settings	Thu Jun 04 13:26:51 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