63 | string_for_failure CantConnect = "Can't connect to remote ATP." |
63 | string_for_failure CantConnect = "Can't connect to remote ATP." |
64 | string_for_failure TimedOut = "Timed out." |
64 | string_for_failure TimedOut = "Timed out." |
65 | string_for_failure OutOfResources = "The ATP ran out of resources." |
65 | string_for_failure OutOfResources = "The ATP ran out of resources." |
66 | string_for_failure OldSpass = |
66 | string_for_failure OldSpass = |
67 "Warning: Isabelle requires a more recent version of SPASS with \ |
67 "Warning: Isabelle requires a more recent version of SPASS with \ |
68 \support for the TPTP syntax. To install it, download and untar the \ |
68 \support for the TPTP syntax. To install it, download and extract the \ |
69 \package \"http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/\ |
69 \package \"http://isabelle.in.tum.de/dist/contrib/spass-3.7.tar.gz\" and \ |
70 \spass-3.7.tar.gz\" and add the \"spass-3.7\" directory's absolute path \ |
70 \add the \"spass-3.7\" directory's absolute path to " ^ |
71 \to " ^ |
|
72 quote (Path.implode (Path.expand (Path.appends |
71 quote (Path.implode (Path.expand (Path.appends |
73 (Path.variable "ISABELLE_HOME_USER" :: |
72 (Path.variable "ISABELLE_HOME_USER" :: |
74 map Path.basic ["etc", "components"])))) ^ |
73 map Path.basic ["etc", "components"])))) ^ |
75 " on a line of its own." |
74 " on a line of its own." |
76 | string_for_failure NoPerl = "Perl" ^ missing_message_tail |
75 | string_for_failure NoPerl = "Perl" ^ missing_message_tail |