1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Jul 28 23:44:18 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Jul 29 00:28:57 2010 +0200
     1.3 @@ -65,10 +65,9 @@
     1.4    | string_for_failure OutOfResources = "The ATP ran out of resources."
     1.5    | string_for_failure OldSpass =
     1.6      "Warning: Isabelle requires a more recent version of SPASS with \
     1.7 -    \support for the TPTP syntax. To install it, download and untar the \
     1.8 -    \package \"http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/\
     1.9 -    \spass-3.7.tar.gz\" and add the \"spass-3.7\" directory's absolute path \
    1.10 -    \to " ^
    1.11 +    \support for the TPTP syntax. To install it, download and extract the \
    1.12 +    \package \"http://isabelle.in.tum.de/dist/contrib/spass-3.7.tar.gz\" and \
    1.13 +    \add the \"spass-3.7\" directory's absolute path to " ^
    1.14      quote (Path.implode (Path.expand (Path.appends
    1.15                 (Path.variable "ISABELLE_HOME_USER" ::
    1.16                  map Path.basic ["etc", "components"])))) ^