Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
etc/settings
changeset 29599 c369feeb6bbc
parent 29149 eae45c2a6811
child 30189 3633f560f4c3
child 30237 e6f76bf0e067 
     1.1 --- a/etc/settings	Wed Jan 21 15:22:51 2009 +0100
     1.2 +++ b/etc/settings	Wed Jan 21 15:26:02 2009 +0100
     1.3 @@ -242,7 +242,6 @@
     1.4    "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
     1.5    "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
     1.6    "/usr/local/Vampire" \
     1.7 -  "$ISABELLE_HOME/contrib/SystemOnTPTP" \
     1.8    "")
     1.9  SPASS_HOME=$(choosefrom \
    1.10    "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
wneuper/isa