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.
uniform default settings for E, Vampire, SPASS;
authorwenzelm
Thu, 04 Jun 2009 12:09:07 +0200
changeset 31423 79e707bb0d6b
parent 31422 b8bdef62bfa6
child 31424 d30a867a86fb
child 31439 c02b3fd764f4
uniform default settings for E, Vampire, SPASS;
etc/settings file | annotate | diff | comparison | revisions 
--- 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