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.
deactivated default for E_HOME, SPASS_HOME -- now configured as components;
authorwenzelm
Sun, 29 Nov 2009 17:34:41 +0100
changeset 33921 4c188a74e362
parent 33920 d4d430dfabc6
child 33922 639eb84ec640
deactivated default for E_HOME, SPASS_HOME -- now configured as components; deactivated default for VAMPIRE_HOME -- superceded by remote_vampire;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sun Nov 29 17:23:39 2009 +0100
+++ b/etc/settings	Sun Nov 29 17:34:41 2009 +0100
@@ -208,21 +208,9 @@
 ## Set HOME only for tools you have installed!
 
 # External provers
-E_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
-  "$ISABELLE_HOME/../E/$ML_PLATFORM" \
-  "/usr/local/E/$ML_PLATFORM" \
-  "")
-VAMPIRE_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
-  "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
-  "/usr/local/vampire/$ML_PLATFORM" \
-  "")
-SPASS_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
-  "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
-  "/usr/local/spass/$ML_PLATFORM" \
-  "")
+#E_HOME=/usr/local/bin
+#SPASS_HOME=/usr/local/bin
+#VAMPIRE_HOME=/usr/local/bin
 
 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
 #HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
isabelle