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