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 29599 c369feeb6bbc
parent 29149 eae45c2a6811
child 30189 3633f560f4c3
child 30237 e6f76bf0e067 
--- a/etc/settings	Wed Jan 21 15:22:51 2009 +0100
+++ b/etc/settings	Wed Jan 21 15:26:02 2009 +0100
@@ -242,7 +242,6 @@
   "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
   "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
   "/usr/local/Vampire" \
-  "$ISABELLE_HOME/contrib/SystemOnTPTP" \
   "")
 SPASS_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
isabelle